TY - BOOK AU - García Vega,Pedro TI - Teoría de autómatas y lenguajes formales SN - 9701506618 AV - QA 76.9.M35 T46 PY - 2001/// CY - México PB - Alfaoemag, Universidad Politécnica de Valencia KW - Lógica simbólica y matemáticas KW - Matemáticas para computación N1 - Incluye bibliografía ER -