1
JFLAP نرم افزاری است برای آزمایش با مباحث مربوط به زبانهای رسمی از جمله خودکار خودکار محدود ، غیر خودکار ، فشار خودکار غیرمستقیم ، ماشین های تورینگ چند نوار ، انواع مختلفی از گرامرها ، تجزیه و سیستم های L.علاوه بر ساخت و آزمایش نمونه هایی از این قبیل ، JFLAP به شخص اجازه می دهد تا اثبات ساخت و ساز را از یک شکل به فرم دیگر آزمایش کند ، مانند تبدیل یک NFA به DFA به DFA حالت حداقل به یک عبارت معمولی یا گرامر معمولی.