Endliche Automaten sind ein zentrales Konzept der Informatik. Darunter wird eine Modellierung eines Systems durch eine endliche Zahl von Zuständen verstanden. Übergänge von einem Zustand in einen anderen werden von (äußeren) Bedingungen ausgelöst und in der Regel von einer Aktion begleitet. Endliche Automaten haben bei der Entwicklung von Compilern ('Übersetzern') für Computersprachen eine zentrale Rolle... Weiterlesen →