Considere el lenguaje consiste en todas las cadenas -letter sobre modo que no haya dos letras iguales: k Σ
Este lenguaje es finito y, por lo tanto, regular. Específicamente, si , entonces \ left | L_ {k-distinct} \ right | = \ binom {n} {k} k! .| L k - d i s t i n c t | = ( n
¿Cuál es el autómata finito no determinista más pequeño que acepta este lenguaje?
Actualmente tengo los siguientes límites superiores e inferiores sueltos:
El NFA más pequeño que puedo construir tiene estados.
El siguiente lema implica un límite inferior de estados:
Deje que sea un lenguaje regular. Supongamos que hay pares modo que si y solo si . Entonces, cualquier NFA que acepte L tiene al menos n estados.
- Otro límite inferior (trivial) es , que es el registro del tamaño del DFA más pequeño para el idioma.
También estoy interesado en los NFA que aceptan solo una fracción fija ( ) de , si el tamaño del autómata es menor que .
Editar: Acabo de comenzar una recompensa que tuvo un error en el texto.
Quise decir que podemos asumir mientras escribía .
Edit2:
La recompensa terminará pronto, así que si alguien está interesado en lo que quizás sea una forma más fácil de ganarlo, considere el siguiente idioma:
contiene símbolos distintos y ningún símbolo aparece más de veces .
(es decir, ).
Una construcción similar a la de los comentarios proporciona un autómata de tamaño para .
¿Se puede mejorar esto? ¿Cuál es el mejor límite inferior que podemos mostrar para este idioma?