«formal-languages» 태그된 질문

상황에 맞는 언어는 보완 아래 닫히지 않습니다. 강의에서 우리는 Wikipedia에서 여기 와 같은 논증을 받았습니다 . For 모두 및 문맥 자유이지만, 그들의 교점 아니다. 문맥없는 언어는 공용체로 폐쇄되므로 보완으로 폐쇄 할 수 없습니다.A={anbncm; m,n∈N0}andB={ambncn; m,n∈N0},A={anbncm; m,n∈ℕ0}andB={ambncn; m,n∈ℕ0},A = \{\mathtt a^n \mathtt b^n \mathtt c^m;~m, n ∈ ℕ_0\}\quad\text{and}\quad B = \{\mathtt …

11 formal-languages  context-free 

언어가 규칙적인지 테스트하는 알고리즘 / 체계적인 절차가 있습니까? 다시 말해, 대수 형태로 지정된 언어 ( 와 같은 것으로 )에 언어가 정규 언어인지 여부를 테스트하십시오. 학생들이 모든 숙제를하도록 돕기 위해 웹 서비스를 작성한다고 상상해보십시오. 사용자는 언어를 지정하고 웹 서비스는 "일반", "정규 아님"또는 "모름"으로 응답합니다. (웹 서비스가 가능한 한 자주 "모름"이라고 대답하고 …

11 algorithms  formal-languages  regular-languages  decision-problem 

나는 이후, 궁금 스타가없는 언어가 아닌 일반 언어가 자체 별이없는 언어이다? 예를 들어 주시겠습니까?a∗a∗a^* (에서 wikipdia ) 로손 스타가없는 언어로 정의한다 : 정규 언어는 알파벳 문자, 빈 세트 기호, 보완을 포함하여 모든 부울 연산자 및 연결을 포함하지만 Kleene 별은 포함하지 않는 정규식으로 표현할 수 있으면 별이 없다고합니다. 다음은 별표가없는 의 …

11 formal-languages  regular-languages  automata 

이것은 Dragon book의 질문입니다 (번역 실수로 사과드립니다. 영어 버전은 없습니다). 이 문법으로 어떤 언어가 생성됩니까? 에스→ Sb S∣ b SS∣ ϵ에스→ㅏ에스비에스∣비에스ㅏ에스∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon 내가 여기서 무엇을해야하는지 모르겠습니다. 언어에 대한 책의 정의는 이것을 말합니다 (그리고 그것은 장에서 거의 같습니다). 언어는 구문 …

11 formal-languages  context-free  formal-grammars 

언어 L 의 순환 쉬프트 ( 회전 또는 컨쥬 게이션 이라고도 함 )는 { y x ∣ x y ∈ L } 로 정의됩니다 . 위키 백과 (및 여기 ) 에 따르면 오 시바 (Oshiba)와 마스 로프 (Maslov)의 논문을 참조하여 문맥없는 언어가이 작업에서 닫힙니다. 이 사실에 대한 쉬운 증거가 있습니까?엘LL{ …

11 formal-languages  context-free  closure-properties 

직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 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 

올바르게 이해하면 NFA는 정규 표현식과 동일한 표현력을 갖습니다. 종종 NFA에서 동등한 정규 표현식을 읽는 것이 쉽습니다.주기를 별, 접합점으로 대체 등으로 변환합니다. 그러나이 경우에해야 할 일 : [ 출처 ] 사이클이 겹치면이 오토 마톤이 무엇을 받아들이는지 (정규 표현으로)보기가 어렵습니다. 트릭이 있습니까?

11 algorithms  formal-languages  finite-automata  regular-expressions 

다음 언어가 있습니다 {0i1제이2케이∣ 0 ≤ i ≤ j ≤ k }{0나는1제이2케이∣0≤나는≤제이≤케이}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} 어떤 Chomsky 언어 클래스가 적합한 지 결정하려고합니다. 상황에 맞는 문법을 사용하여 어떻게 만들 수 있는지 알 수 있으므로 상황에 맞는 것이 거의 없습니다. 문맥이없는 문법으로는 불가능할 것 …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

하자 , , , 일반적인 알파벳을 통해 네드 드 파이입니다 각각의 문맥 자유 언어의 인터넷에서 무한 시퀀스가 될 Σ . L 을 L_1 , L_2 , L_3 , \ dots 의 유한 합집합 이라고합시다 . 즉, L = L_1 \ cup L_2 \ cup L_3 \ cup \ dots 입니다.L …

11 formal-languages  context-free  closure-properties 

구현이 존재하지 않는 프로그래밍 언어를 이론적으로 지정할 수 있습니까? 프로그래밍 언어는 기능을 정의하는 방법입니다. 구현은 해당 입력의 프로그램에 해당하는 함수의 출력에 대해 주어진 입력에서 해당 언어로 지정된 프로그램을 실행하는 방법을 의미합니다. 그러한 언어의 최소 요구 사항은 무엇입니까?

11 formal-languages  computability  programming-languages 

다음 중 올바른 말은 무엇입니까? 언어의 규칙성에 관한 충분하고 필요한 조건이 존재하지만 아직 발견되지 않았습니다. 언어의 규칙성에 대해 충분하고 필요한 조건이 없습니다. 펌핑 보조는 언어의 비 규칙성에 필요한 조건입니다. 펌핑 보조는 언어의 비 규칙 성을위한 충분한 조건입니다. 나는 이 진술의 반대 가 사실이 아니기 때문에 # (4)가 정확하고 # (3)이 …

11 formal-languages  regular-languages 

어떤 클래스의 CFL이 닫히는 지, 즉 어떤 세트가 CFL을 보완하는지 알아야합니다. CFL이 보수로 폐쇄되지 않았 음을 알고 있으며 P가 보수로 폐쇄되었음을 알고 있습니다. CFL PI는 CFL의 보완이 P (right?)에 포함되어 있다고 말할 수 있습니다. CFL의 보수가 P의 적절한 부분 집합인지 전체 P인지에 대한 의문이 여전히 남아 있습니다.⊊⊊\subsetneq

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

나는 교과서에서 열심히 연습하고 있으며, 진행 방법을 알 수 없습니다. 여기에 문제가 있습니다. 언어가 있다고 가정합니다 여기서 는 비이성적 인 숫자입니다. 이 문맥없는 언어가 아님 을 어떻게 증명할 수 있습니까?L = { a i b j : i ≤ j γ , i ≥ 0 , j ≥ 1 } …

10 formal-languages  automata  context-free 

정규 표현식을 보는 한 가지 방법은 다음 사실에 대한 건설적인 증거입니다. 작은 언어로 시작하여 작은 고정 된 클로저 속성 세트를 통해 정규 언어를 조합하여 일반 언어를 구성 할 수 있습니다. 특히 빈 언어, 빈 문자열을 포함하는 언어 및 모든 단일 문자 문자열의 언어로 시작하면 공용체, 연결 및 Kleene 스타를 사용하여 …

10 formal-languages  context-free  closure-properties  regular-expressions 

주어진 텍스트 문자열과 모든 하위 문자열을 허용하는 비 주기적 유한 상태 자동 생성기를 생성하는 패턴 일치 알고리즘을 사용하고 있습니다. FSA 알고리즘은 음악 스트림 (예 : MIDI 데이터)을 상징적으로 표현하고 있습니다. 음악 스트림은 각 노래를 레이블이없는 '세그먼트'로 나누기 위해 사전 처리되었습니다. FSA는 각각의 노래의 각 세그먼트에 대해 생성된다 : I가있는 경우에 …

10 formal-languages  reference-request  finite-automata