Вопросы с тегом «fl.formal-languages»

Можно ли построить алгоритм, который принимает в качестве входных данных автомат сокращения вместе с обещанием, что язык, принятый этим автоматом является детерминированным контекстно-свободным языком и выводит детерминированный автомат нажатия который принимает именно принятый язык на ?MMMЛ ( М)L(M)L(M)NNNMMM Эквивалентная проблема была бы построить алгоритм , который принимает в качестве входного …

11 reference-request  computability  fl.formal-languages  automata-theory 

Барри Джей в своей книге делает несколько смелых заявлений - в основном, говоря, что в основе программы все является атомарным или составным. Тогда все можно легко итерировать, фильтровать, обновлять, просто перемещаясь по этим композиционным отношениям. Это новый рубеж в области компьютерных наук для компьютерных языков - или мы просто возвращаемся …

11 fl.formal-languages 

Где я могу найти введение в вероятностные автоматы и что они распознают (определенные функции из слов в )? Существует ли стандартный термин для таких функций, которые распознаются вероятностными автоматами, аналогично «обычным языкам» для того, что распознают детерминированные конечные автоматы (DFA)?[0,1][0,1][0,1] Я ищу что-то похожее на изучение базовых вопросов по DFA …

10 reference-request  fl.formal-languages  probabilistic-automata 

Пусть будет дано число . Рассмотрим следующий язык: L n = {Nnn .LN= {ш ш|w ∈ { 0 , 1 }N}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Словом, - это набор строк копирования длиной 2 n .LNLnL_n2 н2n2n Рассмотрим следующую функцию сложности состояний , …

10 fl.formal-languages  automata-theory  grammars  context-free 

Существует открытая проблема в формальных языках, известная как проблема разделения; который кратко изложен как заданные две отдельные строки длины , насколько большой DFA требуется, чтобы «разделить» их, то есть принять одну строку, но отклонить другую.nnn Вот некоторые соответствующие документы 1 , 2 . (У меня есть еще несколько, но у …

10 fl.formal-languages  automata-theory 

Каков стандартный подход к минимизации Büchi-Automata (или также Müller-Automata)? Перенос обычного метода из конечных слов, то есть установка двух состояний равными, если слова «заканчиваются» из принятых состояний одинаковы, не будут работать. Например, рассмотрим Büchi-Automoton, принимающий все слова с бесконечным числом a, состоящим из двух состояний: начального и конечного состояний, и …

10 fl.formal-languages  automata-theory 

Этот вопрос касается того, существуют ли какие-либо известные обратимые тарпиты Тьюринга, где «обратимый» означает в смысле Аксельсена и Глюка , а «тарпит» является гораздо более неформальным понятием (и, возможно, не очень удачным выбором слова), но я сделаю все возможное, чтобы объяснить, что я имею в виду под этим. Что я …

10 fl.formal-languages  computability  machine-models 

В главе 13 «Атомные объекты» книги «Распределенные алгоритмы» Нэнси Линч доказано, что линеаризуемость (также известная как атомарность) является свойством безопасности. То есть его соответствующее свойство trace непусто, закрыто по префиксу и закрыто по пределу , как определено в разделе 8.5.3. Неформально свойство безопасности часто интерпретируется как высказывание, что какая-то конкретная …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

Детерминированный автомат называется k- локальным при k > 0, если для каждого w ∈ X k множество { δ ( q , w ) : q ∈ Q } содержит не более один элемент. Интуитивно это означает, что если слово w длины k приводит к состоянию, то это состояние уникально …

10 fl.formal-languages  automata-theory  synchronization 

Рассмотрим непустой язык двоичных строк длины . Я могу описать булевой схемой с входами и одним выходом, так что истинно тогда и только тогда, когда : это хорошо известно.LLLnnnLLLCCCnnnC(w)C(w)C(w)w∈Lw∈Lw \in L Тем не менее, я хочу представлять с булевой схемой с выходами и определенным количеством входов, скажу , таким образом, …

10 fl.formal-languages  circuit-complexity 

Пусть будет контекстно-свободным языком. Определить , чтобы быть пре- и постфиксное замыканием , другими словами, содержит все «с префиксами и postfixes, и , следовательно сам по себе. Мой вопрос: если зависит от контекста и имеет не однозначную грамматику, то же самое верно для ?p p c ( L ) L …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

Я пытаюсь составить таксономию алгоритмов для преобразования регулярных выражений в автоматы, чтобы выполнить некоторые эмпирические тесты их свойств сложности в определенных областях. Я знаю несколько «больших» имен, например: Томпсон «Алгоритм поиска регулярных выражений», Томпсон, 1968 Глушков «Новый квадратичный алгоритм для преобразования регулярного выражения в автомат», Ponty, et. Аль, 1996 Антимиров …

10 automata-theory  fl.formal-languages  regular-expressions 

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

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

Детерминированные контекстно-свободные языки (DCFL) и языки визуального нажатия (VPL) являются наборами формальных языков между контекстно-свободными языками (CFL) и обычными языками (REG). Есть ли удобочитаемая нотация, которая может быть выражена в простом ASCII-формате, например Backus-Naur-Form для CFL и регулярных выражений для REG?

10 fl.formal-languages 

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

10 fl.formal-languages  automata-theory  regular-language  nfa