1
JFLAP er software til at eksperimentere med formelle sprogemner, herunder nondeterministisk finautomater, nondeterministisk pushdown-automater, multi-tape Turing-maskiner, flere typer grammatik, parsing og L-systemer.Ud over at konstruere og teste eksempler på disse tillader JFLAP, at man kan eksperimentere med konstruktionsbeviser fra en form til en anden, såsom konvertering af en NFA til en DFA til en minimal tilstand DFA til et regelmæssigt udtryk eller regelmæssig grammatik.