1
JFLAP to oprogramowanie do eksperymentowania z tematami języków formalnych, w tym niedeterministycznymi automatami skończonymi, niedeterministycznymi automatami pushdown, maszynami Turinga z wieloma taśmami, kilkoma rodzajami gramatyk, parsowaniem i systemami L.Oprócz konstruowania i testowania takich przykładów, JFLAP pozwala eksperymentować z dowodami konstrukcyjnymi z jednej formy do drugiej, takimi jak konwersja NFA do DFA do stanu minimalnego DFA do wyrażenia regularnego lub gramatyki regularnej.
Stronie internetowej:
http://www.jflap.org/cechy
Kategorie
