1
JFLAP est un logiciel permettant d'expérimenter des sujets de langages formels, notamment les automates finis non déterministes, les automates de refoulement non déterministes, les machines de Turing multi-bandes, plusieurs types de grammaires, l'analyse et les systèmes L.En plus de construire et de tester des exemples pour ceux-ci, JFLAP permet d'expérimenter avec des preuves de construction d'une forme à une autre, telles que la conversion d'un NFA en DFA en un DFA à état minimal en une expression régulière ou une grammaire régulière.
Site Internet:
http://www.jflap.org/traits
Les catégories
