CMSimulator

Symulator maszyn liczących i gramatyk formalnych.

Aplikacja CMSimulator pomaga lepiej zrozumieć cztery z najbardziej znanych maszyn liczących - automat skończony, automatyczny, automat automatyczny, maszyna Turinga. Możesz tworzyć nowe lub ładować istniejące rozwiązania z plików. Aplikacja zawiera również przykłady (dla każdego typu maszyn).

Ponadto aplikacja pomaga również lepiej zrozumieć cztery rodzaje gramatyk formalnych z hierarchii Chomsky'ego - gramatyka regularna, gramatyka bezkontekstowa, gramatyka kontekstowa, gramatyka nieograniczona. Możesz tworzyć nowe lub ładować istniejące rozwiązania z plików. Aplikacja zawiera również przykłady.

Możesz utworzyć listę symboli, stanów, reguł przejścia, a także wybrać początkowy i końcowy stan. Następnie możesz wypełnić taśmę i symulować rozwiązanie krok po kroku lub przejść bezpośrednio do końca symulacji. Możesz również zaznaczyć dowolny element taśmy jako punkt przerwania, aby wstrzymać symulację, gdy maszyna osiągnie ten punkt przerwania.

Obsługiwane są również niedeterministyczne maszyny i rozwiązania.

Możesz zdefiniować własną gramatykę, przetestować słowa, jeśli należą do zdefiniowanej gramatyki i wizualizować proces derywacji za pomocą 4 różnych rodzajów wizualizacji - tabela derywacji, drzewo derywacji, pochodna liniowa, derywacja stała. Aplikacja zawiera również interaktywną funkcję, w której można przetestować wiele słów jednocześnie.

Aplikacja jest wciąż w fazie rozwoju. Daj mi znać, jeśli znajdziesz jakieś błędy.