TY - BOOK TI - Automata computability and formal languages AV - QA267.3 A976 PY - 1991/// PB - ไม่พบสำนักพิมพ์ KW - MATHEMATICS KW - AUTOMATH (FORMAL LANGUAGE) KW - MATHEMATICAL NOTATION ER -