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
Book
Modular Specification and Verification of Object-Oriented Programs
TL;DR: The Mojave Type System and the Universe Type System are studied, which describes the specification and verification of type Invariants in a modular manner, and the semantics of Mojave are studied.
Journal ArticleDOI
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems
Tae-Sic Yoo,Stéphane Lafortune +1 more
TL;DR: It is shown that under this architecture, a larger class of languages can be achieved than before since a relaxed version of the notion of co-observability appears in the necessary and sufficient conditions for the existence of supervisors.
Book ChapterDOI
Probabilistic argumentation frameworks
TL;DR: This paper extends Dung's seminal argument framework to form a probabilistic argument framework by associating probabilities with arguments and defeats, and describes an approximate approach to computing these likelihoods based on Monte-Carlo simulation.
Journal ArticleDOI
Hierarchical Control of Discrete-Event Systems
Kai C. Wong,W. M. Wonham +1 more
TL;DR: A general version of Zhong's hierarchical consistency is established by first achieving control consistency — preservation of control structures through the aggregation mapping in a two-level hierarchy.
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.