CMSimulator

Симулятор для встречных машин и формальных грамматик.

Приложение CMSimulator поможет вам лучше понять четыре из наиболее известных счетчиков: конечный автомат, автомат Pushdown, линейный ограниченный автомат, машину Тьюринга. Вы можете создавать новые или загружать существующие решения из файлов. Приложение также содержит примеры (для каждого типа машин).

Кроме того, приложение также помогает вам лучше понять четыре типа формальных грамматик из иерархии Хомского - регулярная грамматика, контекстно-зависимая грамматика, контекстно-зависимая грамматика, неограниченная грамматика. Вы можете создавать новые или загружать существующие решения из файлов. Приложение также содержит примеры.

Вы можете создать список символов, состояний, правил перехода, а также выбрать начальное и конечное состояния. Затем вы можете заполнить ленту и смоделировать решение шаг за шагом, или перейти непосредственно к концу моделирования. Вы также можете пометить любой элемент ленты как точку останова, чтобы приостановить моделирование, когда машина достигнет этой точки останова.

Недетерминированные машины и решения также поддерживаются.

Вы можете определить свою собственную грамматику, проверить слова, если они принадлежат определенной грамматике, и визуализировать процесс деривации с помощью 4 различных видов визуализаций - таблицы деривации, дерева деривации, линейного деривации, фиксированного деривации. Приложение также содержит интерактивную функцию, где вы можете проверить несколько слов одновременно.

Приложение все еще находится в разработке. Пожалуйста, дайте мне знать, если вы найдете какие-либо ошибки.