Se presentan definiciones fundamentales de la teoría de lenguajes y gramáticas formales, especialmente los lenguajes limitados y las gramáticas de tipo k-tuplo. Se demuestra que los lenguajes limitados, bajo ciertas condiciones, son generados por gramáticas de tipo k-tuplo. Para ello se define la "condición de engranaje", generalizando un teorema de S. Ginsburg.
En el último capítulo se presentan ejemplos prácticos para visibilizar definiciones y teoremas.
Debido al espacio disponible, se ha tenido que renunciar a presentar las demostraciones de los teoremas; el presente es un extracto de otros trabajos del mismo autor (4), (5).
© 2001-2024 Fundación Dialnet · Todos los derechos reservados