«pushdown-automata» 태그된 질문

에서 이 대답 은 언급 유한 언어로 정규 언어를 인식 할 수 있습니다. 컨텍스트가없는 언어는 스택을 필요로하고, 문맥에 민감한 언어는 두 스택을 (말에 해당하는이 전체 튜링 기계가 필요)가 필요합니다 . 위의 대담한 부분의 진실에 대해 알고 싶었습니다. 사실입니까? 이에 대한 답변을 얻는 좋은 방법은 무엇입니까?

41 computability  turing-machines  automata  pushdown-automata 

결정 론적 푸시 다운 오토 마톤에 의해 수용 될 수있는 경우에만 문맥없는 언어 결정론을 호출하고 그렇지 않으면 비결정론 적이라고하자. 언어를 생성하는 모든 문맥이없는 문법이 모호하고 그렇지 않으면 모호하지 않은 경우에만 문맥이없는 언어를 본질적으로 모호하게하자. 결정적이고 모호하지 않은 언어의 예는 다음과 같은 언어입니다. 비결정적이고 명확한 언어의 예는 다음과 같은 언어입니다. { …

36 formal-languages  automata  formal-grammars  pushdown-automata 

다음 언어 컨텍스트는 무료입니까? L = { u x v y∣ u , v , x , y∈ { 0 , 1 }+, | u | = | v | , u ≠ v , | x | = | 와이| ,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

문맥이없는 문법 G가 주어지면, G가 받아들이는 언어를 정확하게 받아들이는 비 결정적 푸시 다운 오토 마톤 N이 있습니다. (그리고 비자도 마찬가지) G가 받아들이는 언어를 정확하게 받아들이는 결정 론적 푸시 다운 오토 마톤 D도 있을 수 있습니다. 문법에 따라 다릅니다. G의 생성에 대해 어떤 알고리즘으로 D가 존재하는지 확인할 수 있습니까?

22 automata  context-free  pushdown-automata 

두 푸시 다운 오토 마톤이 동일한 언어를 인식하는지 여부는 결정 불가능합니다. 푸시 다운 자동 장치가 빈 언어를 인식하는지 여부에 대한 문제는 결정 가능하므로 주어진 유한 언어를 인식하는지 여부도 결정 가능합니다. 푸시 다운 오토 마톤이 허용하는 언어가 규칙적인지 여부는 결정할 수 없습니다. 그러나 ... ... 푸시 다운 오토 마톤이 주어진 정규 …

16 computability  undecidability  pushdown-automata 

이기 때문에 이것이 가능한지 궁금합니다 . 따라서 단어 w ∈ { a n b n c n ∣ n ≥ 0 } 을 나머지 { a ∗ b ∗ c ∗ } 와 구별 할 수있는 PDA 도 받아 들일 수 있습니다.{엔비엔씨엔∣ n ≥ 0 } ∉ C F L{anbncn∣n≥0}∉CFL\{a^n …

16 formal-languages  automata  context-free  pushdown-automata 

나는 비결정론 적 푸시 다운 오토마타가 몇몇 주 중에서 "선택"할 수 있고 결정 론적 푸시 다운으로 받아 들일 수없는 문맥이없는 언어가 있기 때문에 결정 론적 푸시 다운에 비해 개선 될 수 있다는 것을 알고 있습니다. 아직도, 나는 그들이 어떻게 정확하게 "선택" 하는지 이해하지 못한다 . 예를 들어 palindormes의 경우, 내가 …

14 automata  pushdown-automata  nondeterminism 

두 NPDA의 교차로에 대한 라파엘의 제안에 대한 아프로 포이즈 : 하자 1 및 이 문맥 - 자유 언어 NPDA을 L 1 과 L 이 각각. L = L 1 ∩ L 2 가 문맥이 없다는 것을 알고 있다고 가정하면 , L에 대해 NPDA A 를 (효과적으로) 구성 할 수 있습니까?ㅏ1A1A_1ㅏ2A2A_2엘1L1L_1엘2L2L_2L …

13 computability  automata  pushdown-automata 

정규식을 입력 한 사용자를 NFA로 변환하여 일치하는 목적으로 문자열에 대해 NFA를 실행할 수 있습니다. 정규 표현을 구문 분석하는 데 사용할 수있는 최소 머신은 무엇입니까? 괄호가 존재한다는 것은 계산이 필요하고 DFA / NFA가 임의의 계산을 수행 할 수 없기 때문에 푸시 다운 오토 마톤이어야한다고 가정합니다. 이 가정이 맞습니까? 예를 들어, 식 …

12 formal-languages  parsers  regular-expressions  pushdown-automata 

직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

heap automata 에 대한 조사와 관련 하여 특정 변형이 문맥에 맞지 않는 언어를 받아 들일 수 없음을 증명하고 싶습니다. 동등한 문법 모델이 없기 때문에 오토마타 만 사용하는 증명이 필요합니다. 따라서 힙 오토마타를 LBA (또는 동등한 모델) 로 시뮬레이션 할 수 있음을 보여 주어야합니다 . 푸시 다운 오토마타가 상황에 맞는 언어의 …

10 automata  pushdown-automata 

입력 문자열을 다음과 같이 지정하십시오. w1w2...wnw1w2...wnw_1w_2...w_n. 그런 다음 NFA가 현재 상태 인 경우rrr (그리고 알파벳까지의 입력을 읽었습니다. wiwiw_i ) 다음 입력 기호를 읽기 전에 NFA는 두 개의 NFA로 분할되고 하나는 상태입니다. rrr 그리고 다른 존재 sss유형의 전환이있는 경우 r→ϵsr→ϵsr \xrightarrow{\epsilon} s. 유형의주기가있는 경우r→ϵs→ϵq1....→ϵqk→ϵrr→ϵs→ϵq1....→ϵqk→ϵrr \xrightarrow{\epsilon} s \xrightarrow{\epsilon} q_1....\xrightarrow{\epsilon} q_k \xrightarrow{\epsilon} r, …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

컨텍스트 프리 문법을 푸시 다운 오토마타로 변환하는 규칙 또는 메소드 세트가 있습니까? 이미 온라인 에서 일부 슬라이드를 찾았 지만 이해할 수 없었습니다. 슬라이드 10에서 그는 누군가가 그것을 설명 할 수있는 몇 가지 규칙에 대해 이야기합니다.

9 context-free  formal-grammars  pushdown-automata  simulation 

다음 연습 문제를 해결해야합니다. 만약 에 문맥이없고 이 규칙적이라면 (즉, 오른쪽 몫 )은 문맥이 없습니다.엘LL아르 자형RRL / R = { w ∣ ∃ x ∈ R성w x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} 을 허용하는 PDA 와 을 허용하는 …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata