Sé que el siguiente lenguaje $L$ = { $a^n$ donde $n$ es un número primo acotado por algún fijo $f$ } es un lenguaje regular porque es finito. Como es un lenguaje regular, debería ser capaz de dibujar un NFA para él, pero estoy atascado en cuanto a cómo. Si el valor de $f$ se dio, tal vez podría hacerlo, pero no sé cómo representar el valor cuando no se da explícitamente.
Se agradecería cualquier ayuda. Gracias.
Tenga en cuenta que no quiere construir un autómata único, sino que quiere describir un método que, dado $f$ puede describir un autómata (que puede ser diferente para cada $f$ ). El método directo descrito por Karolis Juodelè (tener un estado para cada número $0,\ldots,f$ y hacer que los que tienen índices primos acepten) hace esto.
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
