Оценка кратности выходного символа в обратимом автомате | Прикладная дискретная математика. 2014. № 7 (Приложение).

Доказано, что максимальное количество р повторений некоторого выходного символа в таблице выходов автомата с n состояниями и m входными символами, при котором автомат обратим, вычисляется по формуле р = [(n + 1)/2][(n + 2)/2], если [(n + 2)/2] ^ m, и р = (n - m + 1)m в противном случае.