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
Journal ArticleDOI
Complex Chemical Reaction Networks from Heuristics-Aided Quantum Chemistry
TL;DR: Application of heuristics-aided quantum chemical methodology to the formose reaction reproduces the experimentally observed reaction products, major reaction pathways, and autocatalytic cycles.
Journal ArticleDOI
Matchmaking for business processes based on choreographies
TL;DR: This article gives a formal semantics to business process matchmaking based on finite state automata extended by logical expressions associated to states that will enable companies and organizations to be able to establish ad-hoc business relations without relying on manually negotiated interorganizational workflows.
Journal ArticleDOI
Translating Regular Expressions into Small ε-Free Nondeterministic Finite Automata
TL;DR: It is proved that every regular expression of size n can be converted into an equivalent nondeterministic ?
Journal ArticleDOI
Characterizing the manufacturing scheduling problem
TL;DR: A formal definition of a schedule is proposed and five challenges to the computation of schedules are described, which are then classified under the challenges they address and suggested new strategies for those challenges that previous approaches do not handle well.
Journal ArticleDOI
Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
TL;DR: This contribution investigates the hierarchical control of decentralized discrete event systems that are synchronized by shared events that allow for composition of decentralized subsystems on the high-level of the hierarchy and hence reduces the computational complexity of supervisory control synthesis for language inclusion specifications.
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.