1
JFLAP, belirsiz sonlu otomata, belirsiz olmayan aşağı itme otomatı, çok bantlı Turing makineleri, çeşitli gramer, ayrıştırma ve L-sistemleri gibi resmi dil konularını denemek için bir yazılımdır.Bunlar için örnekler oluşturmaya ve test etmeye ek olarak, JFLAP, bir NFA'yı bir DFA'ya minimal bir DFA'ya normal bir ifadeye veya normal gramere dönüştürmek gibi bir yapıdan bir provadan deneme kanıtlamasına izin verir.
jflap