Introduction to Formal Language Theory

  • Ratnesh Kumar
  • Vijay K. Garg
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 300)


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.


Expense Production Line Prefix 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographic Remarks

  1. 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

Copyright information

© Springer Science+Business Media New York 1995

Authors and Affiliations

  • Ratnesh Kumar
    • 1
  • Vijay K. Garg
    • 2
  1. 1.Department of Electrical EngineeringUniversity of KentuckyLexingtonUSA
  2. 2.Department of Electrical and Computer EngineeringUniversity of Texas at AustinAustinUSA

Personalised recommendations