Decidable Formal System

1. Saptanabilir biçimsel dizge

2. Saptanabilir Biçimsel Sistem