Analiza matematyczna 1/Wykład 1: Zbiory liczbowe

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
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.

Twierdzenie 3.2.

............

Dowód