Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
#2 18. 04. 2010 20:58
- Kondr
- Veterán
- Místo: Linz, Österreich
- Příspěvky: 4247
- Škola: FI MU 2013
- Pozice: Vývojář, JKU
- Reputace: 38
Re: Automat
Nechť n je počet stavů automatu rozpoznávajícího jazyk L. Nad slovem delším než n znaků musí automat projít nějakým cyklem. Se slovem délky m>n musí být proto v jazyku i všechna slova délek c+kd, kde d je délka nějakého cyklu v automatu, c je konstanta menší než n, pro kterou platí, že dává po dělení d stejný zbytek jako m, a k jde přes všechna nezáporná celá čísla. Tím jsme skoro hotovi.
BRKOS - matematický korespondenční seminář pro střední školy
Offline