Languages, Decidability, and Complexity

Stefan HaarStefan Haar, Masopust TomášMasopust Tomáš

ISBN: 978-1-4471-4275-1
ISSN: 0170-8643
DOI Link

Stefan Haar, Masopust Tomáš
Languages, Decidability, and Complexity
In Seatzu, C., Silva, M., van Schuppen, J.H., eds., Control of Discrete-event Systems, volume 433 of Lecture Notes in Control and Information Sciences, 23-43. Springer, 2013

Details
Bibtex

KurzfassungAbstract
This chapter presents a brief introduction to the theory of automata, formal languages, decidability, and complexity.
Forschungsgruppe:Research Group: Knowledge SystemsKnowledge-Based Systems

The final publication is available at Springer via http://dx.doi.org/10.1007/978-1-4471-4276-8_2.

@incollection{HT2013,
  author    = {Stefan Haar and Masopust Tom{\'{a}}{\v{s}}},
  title     = {Languages, Decidability, and Complexity},
  editor    = {Seatzu and C. and Silva and M. and van Schuppen and {J.H.}},
  booktitle = {Control of Discrete-event Systems},
  series    = {Lecture Notes in Control and Information Sciences},
  volume    = {433},
  publisher = {Springer},
  year      = {2013},
  pages     = {23-43},
  doi       = {10.1007/978-1-4471-4276-8_2}
}