Добре известно е как се стига от NFA за обикновен език до минимален DFA. DFA обаче може да има експоненциално по-голям брой състояния. Това, от което се нуждая, е начин да намаля NFA, давайки отново NFA, но с по-малък брой състояния. Т.и....

Когато конструирате детерминистични автомати за натискане, всяко състояние може ли да бъде крайно състояние? Имам проблем по-конкретно с конструирането на DPDA, който приема следния език: L = { 0 n 1 m | n ≥ m } Моят подход е да направя...

Предвид L1 свободен от контекст необикновен език. Като се има предвид нормален език L2. Възможно ли е L1 U L2 = нормален език? Също така, възможно ли е L1*L2 = нормален език? Мисля, че второто е невъзможно. Но не съм сигурен. Бих искал да...

Здравейте, това, което се опитвам да направя, е да създам тип данни, който мога да използвам, който се състои само от два знака (0,1). Правя това, за да мога да огранича азбуката в моя алгоритъм за крайни автоматни низове. Програмирам на C, така че...

Прочетох текстов файл със символи, състояния и преходи и го поставих в таблица. Изглежда така: символи a, b състояния q1, q2, q3, q4 начално състояние q4 крайно състояние q2, q3 преходно състояние: q4, епсилон, q1 q1, a, q2 q3, a, q3 q3, b, q1...