El número de diferentes idiomas regulares.

Dado un alfabeto , ¿cuántos idiomas regulares diferentes puede aceptar un autómata finito no determinista de estados? $\Sigma = \{ a,b \}$ $n$

Como ejemplo, consideremos . Luego tenemos configuraciones de transición diferentes y configuraciones de estado inicial y final diferentes, por lo que tenemos un límite superior de idiomas diferentes. Sin embargo, muchos de estos serán equivalentes y dado que la prueba para eso es PSPACE-Complete, probablemente no sea factible probar cada configuración. ¿Hay otros medios o argumentos combinatorios que limitan el número de idiomas diferentes aceptados por un recurso dado? $n=3$ $2^{18}$ $2^3$ $2^{24}$

— john_leo
fuente

Solo hay 3 configuraciones de estado de inicio diferentes, no

2^{3}

$2^3$ .

— FrankW

Idea rápida: los lenguajes regulares se caracterizan por muchas clases de equivalencia, cf Myhill-Nerode. ¿Cuántos conjuntos diferentes de clases de equivalencia puede admitir un autómata

n

$n$ state?

— Raphael

Puede ser útil buscar en Google el documento "Sobre el número de idiomas distintos aceptados por autómatas finitos con n estados" por Domaratzki, Kisman y Shallit.

— Hendrik ene

aquí está la url de cita en papel

— vzn

encontró casi la misma pregunta en tcs.se: ¿Cuál es el número de idiomas aceptados por un DFA de tamaño n?

— vzn

Este es un resumen del documento sobre el número de idiomas distintos aceptados por autómatas finitos con n estados . El documento proporciona límites relativamente fáciles, aunque lejos de ser estrictos, inferiores y superiores en cuanto al número de idiomas distintos aceptados por los NFA. Su discusión sobre el número de DFA distintos es muy perspicaz, por lo que también incluiré esa parte.

El artículo comienza con un asintótico bastante riguroso para la cantidad de idiomas distintos aceptados por un DFA con estados sobre un alfabeto unario. Esto se realiza observando en qué condiciones un DFA unario dado es mínimo. En tales casos, la descripción del autómata puede asignarse (biyectamente) a una palabra primitiva , y la enumeración de tales palabras es bien conocida y se realiza con la ayuda de la función de Möbius . Usando ese resultado, se prueban los límites para alfabetos no unarios, tanto en el caso de DFA como en el de NFA. $n$ $n$

Vamos a entrar en más detalles. Para un alfabeto -letter, defina $k$ Tenga en cuenta que. Comenzamos cony.

\begin{aligned} f_{k} (n) & = the number of pairwise non-isomorphic minimal DFA's with n states \\ g_{k} (n) & = the number of distinct languages accepted by DFA's with n states \\ G_{k} (n) & = the number of distinct languages accepted by NFA's with n states \end{aligned}

$\begin{align*} f_k(n) &= \text{the number of pairwise non-isomorphic minimal DFA's with } n \text{ states}\\ g_k(n) &= \text{the number of distinct languages accepted by DFA's with } n \text{ states}\\ G_k(n) &= \text{the number of distinct languages accepted by NFA's with } n \text{ states} \end{align*}$

g_{k} (n) = \sum_{i = 1}^{n} f_{k} (i)

$g_k(n) = \sum_{i=1}^n f_k(i)$

f_{1} (k)

$f_1(k)$

g_{1} (k)

$g_1(k)$

Enumeración de Dary unarios

Un DFA unario con estados es mínimo iff $M = (Q, \{a\},\delta, q_0,F)$ $q_0,\dots, q_{n-1}$

Esta conectado. Por lo tanto, después de cambiar el nombre, el diagrama de transición consiste en un bucle y una cola, es decir, y para algunos . $\delta(q_i,a) = q_{i+1}$ $\delta(q_{n-1},a)=q_j$ $j \leq n-1$
El bucle es mínimo.
Si , entonces o bien y o y . $j \neq 0$ $q_{j-1} \in F$ $q_{n-1} \notin F$ $q_{j-1} \notin F$ $q_{n-1} \in F$

El ciclo es mínimo si la palabra definida por $q_j,\dots, q_{n-1}$ $a_j \cdots a_{n-1}$ esprimitivo, lo que significa que no se puede escribir en la forma para alguna palabraalgún entero. Seconoce elnúmerode palabras primitivas de longitudsobre-alfabetos de letras, véase, por ejemplo, Lothaire,Combinatorics on Words. Tenemos

{un}_{yo} = {\begin{cases} 1 Si q \in F, \\ 0 0 Si q \notin F \end{cases}

$\begin{equation*} a_i = \begin{cases} 1 \quad \text{if } q \in F, \\ 0 \quad \text{if } q \notin F \end{cases} \end{equation*}$

x^{k}

$x^k$

x

$x$

k \geq 2

$k \ge 2$

ψ_{k} (n)

$\psi_k(n)$

n

$n$

k

$k$

donde

es lafunción de Möbius. Con la ayuda de

el documento prueba fórmulas exactas para

y muestra que asintóticamente (Teorema 5 y Corolario 6),

ψ_{k} (norte) = \sum_{re El | norte} μ (re) k^{norte / / re}

$\begin{equation*} \psi_k(n) = \sum_{d | n} \mu(d) k^{n/d} \end{equation*}$

μ (n)

$\mu(n)$

ψ_{k} (n)

$\psi_k(n)$

f_{1} (n)

$f_1(n)$

g_{1} (n)

$g_1(n)$

\begin{aligned} g_{1} (n) & = 2^{n} (n - α + O (n 2^{- n / 2})) \\ f_{1} (n) & = 2^{n - 1} (n + 1 - α + O (n 2^{- n / 2})) . \end{aligned}

$\begin{align*} g_1(n) &= 2^n \left(n-\alpha+O \left(n 2^{-n/2} \right)\right) \\ f_1(n) &= 2^{n-1}\left(n+1-\alpha+O \left(n 2^{-n/2} \right)\right). \end{align*}$

Enumeración de DFA

El siguiente paso es un límite inferior para . El teorema 7 establece que Para un conjunto de un autómata , defina como la restricción de a . $f_k(n)$

f_{k} (n) \geq f_{1} (n) n^{(k - 1) n} \sim n 2^{n - 1} n^{(k - 1) n} .

$\begin{equation*} f_k(n) \ge f_1(n) n^{ (k-1)n} \sim n 2^{n-1}n^{(k-1)n}. \end{equation*}$

Δ \subset Σ

$\Delta \subset \Sigma$

M

$M$

M_{Δ}

$M_{\Delta}$

M

$M$

Δ

$\Delta$
La prueba funciona considerando el conjunto

de DFA sobre el alfabeto

-letter

definido por

S_{k, n}

$S_{k,n}$

M

$M$

k

$k$

{0, 1, \dots, k - 1}

$\{0,1,\dots,k-1 \}$

Dejar que sea uno de los diferentes DFA unarios en estados, y $M_{ \{0 \}}$ $f_1(n)$ $n$
La elección de cualquier funciones para y que define para y . $k-1$ $h_i : Q \to Q$ $1 \le i < k$ $\delta(q,i) = h_i(q)$ $1 \le i < k$ $q \in Q$

La observación es entonces que contiene idiomas diferentes y mínimos. $S_{n,k}$ $f_1(n) n^{ (k-1)n}$

Enumeración de los NFA

$G_1(n)$ $2^n$ $\epsilon, a,\dots, a^{n-1}$ $n$
$G_1(n) \le \left( \frac{c_1 n}{\log n}\right)^n$
$k \ge 2$

n 2^{(k - 1) n^{2}} \leq G_{k} (n) \leq (2 n - 1) 2^{k n^{2}} + 1.

$\begin{equation*} n 2^{(k-1)n^2} \le G_k(n) \le (2n-1) 2^{kn^2} +1. \end{equation*}$

(q, a)

$(q,a)$

Q

$Q$

δ (q, a)

$\delta(q,a)$

2^{k n^{2}}

$2^{kn^2}$

{1, \dots, k}

$\{1,\dots,k\}$

k \in [0.. n - 1]

$k \in [0..n-1]$

M = (Q, Σ, δ, q_{0}, F)

$M=(Q,\Sigma,\delta,q_0, F)$

Σ = {0, 1, \dots, k - 1}

$\Sigma = \{ 0,1,\dots,k-1 \}$

Q = {q_{0}, \dots, q_{n - 1}}

$Q=\{ q_0,\dots, q_{n-1} \}$

δ

$\delta$

\begin{aligned} δ (q_{yo}, 0 0) & = q_{(yo + 1) modificación norte} para 0 0 \leq yo < norte \\ δ (q_{yo}, j) & = h_{j} (yo) para 0 0 \leq yo < norte, 1 \leq j < k \end{aligned}

$\begin{align*} \delta(q_i,0) &=q_{(i+1) \mod n} \quad \text{for } 0 \le i <n \\ \delta(q_i,j) &=h_j(i) \quad \text{for } 0 \le i <n,\, 1 \le j < k \end{align*}$

h_{j} : {1, \dots, n - 1} \to 2^{Q}

$h_j: \{ 1,\dots,n-1\} \to 2^Q$

F = {q_{i}}

$F=\{q_i\}$

i \in [0.. n - 1]

$i \in [0..n-1]$

2^{(k - 1) n^{2}}

$2^{(k-1)n^2}$

n

$n$ formas de elegir el conjunto de estados finales. Entonces se puede demostrar que no hay dos NFA que acepten el mismo idioma.

— john_leo
fuente