Тема контрольной работы: Контрольная работа по дисциплине «теория автоматов и формальных языков»

ЗАДАНИЯ: 1. Построить таблицу переходов-выходов по заданному графу автомата Мили. 2. Построить граф автомата Мура по заданной таблице. 3. Построить и програмно реализовывать автомат Мили. a) Построить автомат (в виде графа), «добавляющий» в текст, содержащий произвольные символы, пробел после каждого многоточия Подробно описать • множество входных сигналов, • множество выходных сигналов, • множество состояний. При этом рекомендуется каждое из состояний закодировать целым числом или символом, так как это будет необходимо для последующей программной реализации. 4. Дана грамматика. Постройте примеры цепочек вывода. Опишите язык, порождаемый грамматикой. a) S→bS|aA, A→aA| 5. Дана грамматика. Укажите тип каждого правила грамматики по Хомскому и тип грамматики.

3. Построить и програмно реализовывать автомат Мили.
a) Построить автомат (в виде графа), «добавляющий» в текст, содержащий произвольные символы, пробел после каждого многоточия
Подробно описать
• множество входных сигналов,
• множество выходных сигналов,
• множество состояний. При этом рекомендуется каждое из состояний закодировать целым числом или символом, так как это будет необходимо для последующей программной реализации.

S1 – Одна точка
S2 – Многоточие
1 – символ
2 – точка

Рисунок – 2 граф автомата

b) Написать исходных код (на любом языке программирования) программной реализации построенного автомата по графу автомата в соответствии Switch-технологий с комментариями, описывающих соответствие автомата и программы.
c) Привести скрины исполняемой программы на тестовых примерах.

Исходный код реализован на языке Java:
public class Main {
public static void main(String[] args) {
int state = 1;
int index = 0;
int offset = 0;
String input = "aвв...a.....asd..a...adds...a.....";
char[] chars = input.toCharArray();
StringBuilder result = new StringBuilder(input);
while (index < input.length()) { switch (state) { case 1: { if (chars[index] == \'.\') { state = 2; index++; break; }else { index++; break; } } case 2: { if (chars[index] == \'.\') { index++; break; }else { result.insert(index+offset, " "); offset++; state = 1; index++; break; } } } } System.out.println(result); } } Рисунок – 3 скриншот исполняемой программы