Analiza matematyczna 1/Wykład 1: Zbiory liczbowe: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Gracja (dyskusja | edycje)
Nie podano opisu zmian
Gracja (dyskusja | edycje)
Nie podano opisu zmian
Linia 2: Linia 2:
Następne twierdzenie charakteryzuje monoid przejść automatu minimalnego i podaje kolejny warunek równoważny na to, żeby język  był rozpoznawany przez automat.  
Następne twierdzenie charakteryzuje monoid przejść automatu minimalnego i podaje kolejny warunek równoważny na to, żeby język  był rozpoznawany przez automat.  


<span style="font-variant:small-caps">Twierdzenie 3.2.</span>
Niech <math>L\subset A^{*} </math>


<span style="font-variant:small-caps">Dowód</span>
Dla dowodu punktu 1 wykażemy, że
}}
}}

Wersja z 08:52, 16 sie 2006

Uwaga [dla zainteresowanych]

Następne twierdzenie charakteryzuje monoid przejść automatu minimalnego i podaje kolejny warunek równoważny na to, żeby język był rozpoznawany przez automat.