Вопросы с тегом «automata»

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

7
Является ли машина Тьюринга «по определению» самой мощной машиной?
Я согласен, что машина Тьюринга может решать «все возможные математические задачи». Но это потому, что это всего лишь машинное представление алгоритма: сначала сделайте это, затем сделайте это, наконец, выведите это. Я имею в виду все, что разрешимо, может быть представлено алгоритмом (потому что это точно определение «разрешимого»). Это просто тавтология. …

8
Как доказать, что язык является регулярным?
Есть много способов доказать, что язык не является регулярным , но что мне нужно сделать, чтобы доказать, что какой-то язык является регулярным? Например, если мне дано, что регулярно, как я могу доказать, что следующее регулярно?LLLL'L′L' L': = { w ∈ L : u v = w для u ∈ Σ*∖ …

2
Определение возможностей конечного автомата с минимальной кучей (или других экзотических)
Смотрите в конце этого поста некоторые пояснения к определению (ям) автоматов с минимальной кучей. Можно представить себе использование различных структур данных для хранения информации для использования конечными автоматами. Например, автоматы с отложенным запуском хранят информацию в стеке, а машины Тьюринга используют ленту. Было показано, что конечные автоматы, использующие очереди, и …

1
Является ли автомат с двумя стопками эквивалентным машине Тьюринга?
В этом ответе упоминается Обычный язык может быть распознан конечным автоматом. Для контекстно-свободного языка требуется стек, а для контекстно-зависимого языка требуются два стека (что эквивалентно тому, что для него требуется полная машина Тьюринга) . Я хотел знать относительно правды смелой части выше. На самом деле это правда или нет? Как …

2
Существуют ли в сущности неоднозначные и детерминированные контекстно-свободные языки?
Давайте назовем контекстно-свободный язык детерминированным тогда и только тогда, когда он может быть принят детерминированным автоматом, и недетерминированным в противном случае. Давайте назовем контекстно-свободный язык по своей сути неоднозначным тогда и только тогда, когда все контекстно-свободные грамматики, которые генерируют язык, являются неоднозначными и однозначно в противном случае. Примером детерминированного, однозначного …

6
Есть ли какие-нибудь не конечные автоматы?
В теории автоматов мы все читаем автоматы как конечные автоматы с самого начала. Я хочу знать, почему автоматы конечны? Чтобы было понятно, что в автомате конечного - алфавит, язык, строки, созданные с помощью регулярных выражений, или что? И есть ли (в теории) какие-нибудь не конечные автоматы?

9
Какое значение имеют контекстно-зависимые (тип 1) языки?
Видя, что в иерархии Хомского языки типа 3 могут распознаваться конечным автоматом без внешней памяти (т. Е. Конечным автоматом), тип 2 - конечным автоматом с одним стеком (т. Е. Автоматом с понижением) и тип 0 - конечный автомат с двумя стеками (или, что эквивалентно, лента, как в случае с машинами …

2
Эквивалентность автоматов Бючи и линейного
Это известный факт, что каждая формула LTL может быть выражена Büchi автоматом. Но, видимо, автоматы Büchi - более мощная, выразительная модель. Я где-то слышал, что автоматы Бюхи эквивалентны линейному времени -calculus (то есть -calculus с обычными фиксированными точками и только одним временным оператором: ).ωω\omegaμ Xμμ\muμμ\muИксИкс\mathbf{X} Существует ли алгоритм (конструктивное доказательство) …

2
Почему пустой тип C не аналогичен пустому / нижнему типу?
Википедия, а также другие источники, которые я обнаружил в списке voidтипа C как тип единицы, а не пустой тип. Мне кажется, что это сбивает с толку, так как мне кажется, что оно voidлучше подходит под определение пустого / нижнего типа voidНасколько я могу судить, ценности не обитают . Функция с …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

6
Генерация комбинаций из набора пар без повторения элементов
У меня есть набор пар. Каждая пара имеет форму (x, y), так что x, y принадлежат целым числам из диапазона [0,n). Итак, если n равно 4, то у меня есть следующие пары: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У меня уже есть пары. Теперь я должен построить комбинацию, используя n/2пары, …

4
Как смоделировать обратные ссылки, прогнозирование и просмотр в конечных автоматах?
Этот вопрос был перенесен из переполнения стека, поскольку на него можно ответить в разделе «Информатика в стеке». Мигрировал 7 лет назад . Я создал лексер и анализатор простого регулярного выражения, чтобы взять регулярное выражение и сгенерировать его дерево анализа. Создание недетерминированного автомата конечных состояний из этого дерева разбора относительно просто …

3
Каковы условия для NFA, чтобы его эквивалентный DFA был максимальным по размеру?
Мы знаем, что DFAs эквивалентны NFAs в силе выразительности; Существует также известный алгоритм для преобразования NFA в DFA (к сожалению, я теперь знаю изобретателя этого алгоритма), который в худшем случае дает нам состояния, если у нашего NFA было S состояний.2S2S2^SSSS Мой вопрос: что определяет наихудший сценарий? Вот транскрипция алгоритма в …

10
Почему недетерминизм является полезным понятием?
Автомат - это абстрактная модель цифрового компьютера. Цифровые компьютеры полностью детерминированы; их состояние в любое время однозначно предсказуемо из входных данных и исходного состояния. Когда мы пытаемся моделировать реальные системы, зачем включать недетерминизм в теорию автоматов?

1
Решите, могут ли контекстно-свободные языки быть приняты детерминированным автоматом
При наличии не зависящей от контекста грамматики G существует недетерминированный автомат Pushdown N, который принимает именно тот язык, который принимает G. (и наоборот) Там может также существовать детерминированный магазинный автомат D , который принимает именно язык G принимает слишком. Это зависит от грамматики. По какому алгоритму на произведениях G мы …

2
Есть ли «естественный» неразрешимый язык?
Есть ли какой-нибудь "естественный" язык, который неразрешим? под «естественным» я подразумеваю язык, определяемый непосредственно свойствами строк, а не с помощью машин и их эквивалентов. Другими словами, если язык выглядит как где - это ТМ, DFA (или регулярное выражение), КПК (или грамматика) и т. Д., То это не естественно. Однако , …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.