Introduction to Formal Language Theory
In this chapter we review concepts from formal language theory which form a basis for the supervisory control theory initiated by Ramadge and Wonham, and subsequently extended by other researchers. A familiarity with basic set theoretic notions is assumed.
KeywordsState Machine Turing Machine Regular Expression Finite State Machine Finite Index
Unable to display preview. Download preview PDF.
- All the material covered in this chapter can be found in standard books on automata theory and formal languages such as Hopcroft-Ullman [HU79].Google Scholar