द्वारा कार्यक्रम yaal.sf.net

याल एक लिब्रायर है जिसने परिमित राज्य ऑटोमेशन, परिमित राज्य ट्रांसड्यूसर और पुशडाउन ऑटोमेशन जैसे ऑटोमेशन को लागू किया है। चौराहे, संघ और पूरक जैसे इस ऑटोमेशन पर सबसे महत्वपूर्ण संचालन उपलब्ध हैं।