«automata-theory» 태그된 질문

추상 기계, 문법, 파싱, 문법 추론, 변환기 및 유한 상태 기술을 포함한 오토마타 이론

5
polynomially-decidable 억제가있는 주목할만한 오토 마톤 모델에는 어떤 것이 있습니까?
특정 문제를 해결하려고하는데 automata 이론을 사용하여 해결할 수 있다고 생각했습니다. 다항식 시간에 어떤 오토마타 모델이 격리를 결정할 수 있는지 궁금합니다. 즉 기계 있는 경우 효율적으로 테스트 할 수 있습니다 .M1,M2M1,M2M_1, M_2L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) 기억해야 할 것은 DFA와 역수 제한 카운터 머신입니다. 카운터 수가 고정되어 있습니다 ( 이 백서 참조 ). …
5
계산 가능한 숫자가 합리적인지 또는 정수인지 테스트 할 수 있습니까?
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
2
n으로 나눌 수있는 이진 문자열을 받아들이는 유한 오토마타
나는 수업에 대한 문제 세트를 만들고 있는데, 내가 일하고있는 것과 관련된 질문을 생각했습니다. 정수 n으로 나눌 수있는 숫자를 나타내는 이진 문자열을 허용하기 위해 유한 오토 마톤이 가져야하는 상태의 최소 개수가 있습니까? 이전 문제 세트에서는 3으로 3으로 나눌 수있는 이진 문자열을 허용하는 DFA를 구성 할 수있었습니다. 이것이 우연의 일치입니까, 아니면 최소 …
2
푸시 다운 오토마타 및 CFL에 대한 "대수적"접근 방식에 대한 참조 자료?
에서 Sakarovitch의 책 오토마타 이론, 섹션에 대한 소개로 작성 자유 그룹의 유리수 재료 내부에 발표 "문맥 자유 언어의 진정한 수학적 이론의 기초"를 낳는 것이다. 그럼에도 불구하고 문맥에 맞지 않는 언어와 푸시 다운 오토마타는이 책의 범위를 벗어나므로 명시 적으로 설명되지 않습니다. 난 공짜로 그룹의 일부 연결 인식 (특히 Sakarovitch가 부르는입니다 involutive …
2
양방향 결정론 카운터 오토마타에 의해 인식되는 단항 언어
2dca (양방향 결정적 1 카운터 오토마타) (Petersen, 1994) 는 다음 단항 언어를 인식 할 수 있습니다. POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} 2dca에 의해 인식되는 다른 사소한 단항 언어가 있습니까? 2dca가 인식 할 수 있는지 여부는 여전히 알 수 없습니다 .SQUARE={0n2∣n≥0}SQUARE={0n2∣n≥0} \mathtt{SQUARE} = \lbrace 0^{n^2} …
1
DFA에 대한 최소 NFA 계산
몇 년 전 DFA (결정 론적)에서 최소 NFA (비결정론 적 유한 오토 마톤)를 계산하는 것은 수십 년 동안 알려져 왔으며 효율적인 알고리즘. 누구든지 알고리즘을 생각해 냈습니까?O ( n lgn )영형(엔lg⁡엔)O(n \lg n) 빠른 검색을 통해이 논문은 확실히 어려운 문제임을 증명해 주었다. 분명히 알고리즘은 제공되지 않습니다. [1] 최소 NFA 문제는 어려움 …
5
모호성과 논리
오토마타 이론 (finite automata, pushdown automata, ...)과 복잡성에는 "모호성"이라는 개념이 있습니다. 적어도 2 개의 별개의 수용 실행을 갖는 단어 가 있으면, 오토 마톤은 모호하다 . 기계는 모든 단어에 대한 경우 -ambiguous 가장에있다가 기계에 의해 허용 받아들이는 별개의 실행 .k w k wwwwkkkwwwkkkwww 이 개념은 문맥이없는 문법에 대해서도 정의됩니다. 문법은 두 …
3
고정도를 갖는 임의 방향 그래프의 속성
고정 외도 갖는 임의 방향 그래프의 속성에디디d 관심이 있습니다 . 각 꼭지점이 d 이웃을 선택하는 무작위 그래프 모델을 상상하고 있습니다 (예 : 교체) uar 질문 : 임의의 그래프에서 임의의 보행의 고정 분포 및 혼합 시간에 대해 알려진 것이 있습니까 (다양한 값 )? 디디d 부울 알파벳에 대한 임의의 오토마타 모델에 해당하는 …
1
비결정론 적 공간과 결정 론적 공간 사이의 이차 관계?
Savitch의 정리는 충분히 큰 모든 함수 대해 이며 , 이것이 빡빡하다는 것이 수십 년 동안 공개 된 문제라는 것을 보여줍니다 .fNSPACE(f( n))⊆DSPACE(f(n)2)NSPACE(f(n))⊆DS피ㅏ씨이자형(에프(엔)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)에프에프f 우리가 다른 쪽 끝에서 문제에 접근한다고 가정하자. 간단히하기 위해 부울 알파벳을 가정합니다. 계산 가능한 언어를 결정하기 위해 TM이 사용하는 공간의 양은 종종 언어의 각 정규 슬라이스에 …
1
없이 DPDAs 있습니까
결정 론적 푸시 다운 오토마타에 대한 공식적인 설명에서 이동 을 허용하는데 , 여기서 기계는 입력에서 심볼을 읽지 않고도 스택에 심볼을 팝하거나 푸시 할 수 있습니다. 이러한 ϵ 이동이 허용되지 않고 각 기호를 읽은 후 스택을 한 번만 수정할 수있는 경우 결과 자동 마타는 DPDA의 전력과 동일합니까?ϵϵ\epsilonϵϵ\epsilon 내가의 파워 셋 사용에 …
2
동일한 정규 언어의 최소 UFA (Unambiguous Finite Automaton)에 비해 NFA는 얼마나 작습니까?
UFA (Unambiguous Finite Automatons)는 NFA (Non-deterministic Finite Automatons)의 특수 유형입니다. 모든 단어 허용되는 경로가 하나 이상 있으면 NFA를 명확하게 호출 합니다.w∈Σ∗w∈Σ∗w\in \Sigma^* 이는 입니다.DFA⊂UFA⊂NFADFA⊂UFA⊂NFADFA\subset UFA\subset NFA 알려진 관련 오토 마톤 결과 : NFA 최소화는 PSPACE-Complete입니다. 유한 언어에 대한 NFA 최소화는 DP-Hard 입니다. UFA 최소화는 NP-Complete 입니다. 최소 DFA보다 기하 급수적으로 …
1
DFA의 효율적인 연결?
이 이론의 증거 DFAS의 교차점에 대한 순진 직교 - 제품 구성은 "우리가 할 수있는 최선"이라고는. 두 DFA의 연결은 어떻습니까? 간단한 구성은 각 DFA를 NFA로 변환하고 엡실론 전환을 추가하고 결과 NFA를 결정하는 것입니다. 더 잘할 수 있을까요? 최소 연결 DFA의 크기 ( "접두사"및 "접미사"DFA의 크기 측면)에 알려진 경계가 있습니까?
1
일정한 모호성이 일반 언어의 상태 복잡성을 줄일 수 있습니까?
어떤 단어 w exist Σ ∗ 가 0 또는 (정확한) k 경로로 받아 들여 지도록 k ∈ N 이 존재하면 NFA 은 지속적으로 모호 합니다.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk 오토 마톤 이 k = 1에 대해 지속적으로 모호 하다면 , M 은 UFA ( Unambiguous FA )라고 불린다 .MMMk=1k=1k=1MMM 정규 언어로 하자 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.