Open AccessBook
Introduction to Automata Theory, Languages, and Computation
TLDR
This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational complexity, appropriate for upper-level computer science undergraduates who are comfortable with mathematical arguments.Abstract:
This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational complexity. The authors present the theory in a concise and straightforward manner, with an eye out for the practical applications. Exercises at the end of each chapter, including some that have been solved, help readers confirm and enhance their understanding of the material. This book is appropriate for upper-level computer science undergraduates who are comfortable with mathematical arguments.read more
Citations
More filters
Proceedings Article
Detecting Manipulated Remote Call Streams
TL;DR: This paper addresses an important vulnerability in mobile code security that exists in remote execution systems such as Globus, and SETI@Home, and implemented a simulated remote execution environment to demon optimizations and transformations of the binary program increase the precision and efficiency.
Journal ArticleDOI
Information Processing and Bounded Rationality: A Survey
TL;DR: This paper surveys some recent attempts to formulate a plausible and tractable model of bounded rationality and focuses in particular on models which view bounded rationality as stemming from limited information processing.
Journal ArticleDOI
Bisimulation equivalence is decidable for all context-free processes
TL;DR: This paper answers the question in the affirmative of whether bisimulation is decidable for the full BPA language using a proof technique based on the proof by Caucal of the decidability of language equivalence for simple algebraic grammars.
Lecture Notes on Hybrid Systems
TL;DR: This course will introduce general methods for investigating properties such as existence of solutions, reachability and decidability of hybrid systems, and how discrete “discrete” entities and concepts can coexist with continuous entity and concepts, such as differential equations.
Book ChapterDOI
Solved and Unsolved Problems Around One Group
TL;DR: A survey paper on various topics concerning self-similar groups and branch groups with a focus on those notions and problems that are related to a 3-generated torsion 2 group of intermediate growth G, constructed by the author in 1980, and its generalizations Gω, ω ∈ {0, 1, 2}ℕ as mentioned in this paper.
References
More filters
Book ChapterDOI
Representation of Events in Nerve Nets and Finite Automata
TL;DR: This memorandum is devoted to an elementary exposition of the problems and of results obtained on the McCulloch-Pitts nerve net during investigations in August 1951.