«formal-languages» 태그된 질문

하자 생각이 문맥 자유 문법 및 G 2 다음과 같은 질문 : IS L ( G 1 ) = L ( G 2 ) , 두 문법이 동일합니까?지1지1G_1지2지2G_2패 ( G1) = L ( G2)엘(지1)=엘(지2)L(G_1) = L(G_2) 일반적으로이 문제는 결정할 수 없습니다. 그러나 과 G 2 가 모두 왼쪽 선형 (또는 …

19 formal-languages  context-free  formal-grammars 

이 규칙적이지 않다는 것을 증명하기 위해 펌핑 보조 정리를 사용하려고합니다 .L = { ( 01 )미디엄2미디엄∣ m ≥ 0 }L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} 이것이 지금까지 내가 가진 것입니다 : 이 규칙적이고 가 펌핑 길이 라고 가정 하면 입니다. 어떤 펌프 분해 고려 같은 그 및 .p w …

19 formal-languages  regular-languages  pumping-lemma 

허락하다 L = { a엔∣ ∃p ≥ n 피, p + 2 는 소수입니다 } . L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. 가 일반?엘LL 이 질문은 언뜻보기에 의심스러워 보였고 그것이 쌍둥이 프라임 추측 과 관련이 있음을 깨달았습니다 . 내 …

19 formal-languages  automata  regular-languages  finite-automata 

다음 질문에 붙어 있습니다. "정규 언어는 유한 오토마타에 의해 정확하게 수용된 언어입니다.이 사실을 감안할 때, 언어 이 유한 오토 마톤에 의해 수용되면 도 일부 유한에 의해 수용되고 은 모든 단어로 구성됩니다 의 역으로. "L R L R LLLLLRLRL^{R}LRLRL^{R}LLL

19 formal-languages  regular-languages  automata  finite-automata 

빈 셀에 쓸 수있는 능력이없는 Turing 머신은 표준 Turing보다 덜 강력합니까? 나는 대답은 그렇다고 생각하지만 표준 Turing 기계는 할 수 있지만이 기계는 할 수없는 계산을 찾을 수 없습니다. 어떤 아이디어?

18 formal-languages  turing-machines  computability  automata 

환경: 역 참조가있는 정규식 단항 언어 (1 기호 알파벳) 이 설정에서 다음 문제를 결정할 수 있습니까? 역 참조가있는 정규식이 주어지면 정규 언어를 정의합니까? 예를 들어, (aa+)\1일반 언어를 정의하지만 (aa+)\1+그렇지는 않습니다. 어떤 경우인지 결정할 수 있습니까? 구체적으로, "역 참조가있는 정규 표현식"은 일반적인 Perl 호환 정규 표현식 의 다음 하위 집합을 나타냅니다 …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

언어에 컨텍스트가 없는지 테스트하는 알고리즘 / 체계적인 절차가 있습니까? 다시 말해, 대수 형태로 지정된 언어 ( 와 같은 것으로 생각)가 주어지면 언어에 컨텍스트가 없는지 테스트하십시오. 학생들이 모든 숙제를 도와 줄 수 있도록 웹 서비스를 작성한다고 상상해보십시오. 언어를 지정하면 웹 서비스는 "문맥없는"또는 "문맥없는"를 출력합니다. 이것을 자동화하는 좋은 접근 방법이 있습니까?L={anbnan:n∈N}L={anbnan:n∈N}L=\{a^n b^n …

18 algorithms  formal-languages  context-free  decision-problem 

일반 언어 감안 , 다음이 상수임을 입증하기 쉽다 등하다 와 존재 문자열 , 및 그러한 과 및 모든 그것이N σ ∈ L | σ | ≥ N α β γ | α β | ≤ N | β | ≠ ϵ k α β k γ ∈ LLLLNNNσ∈Lσ∈L\sigma \in L|σ|≥N|σ|≥N\lvert …

18 formal-languages  proof-techniques 

튜링 결정 가능한 많은 계산 가능한 언어가 있습니다. 셀 수없는 언어가 Turing 결정 가능합니까?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

Wikipedia에 따르면 , 모든 정규 언어 대해 상수 λ 1 , … , λ k 및 다항식 p 1 ( x ) , … , p k ( x )가 존재하므로 모든 n에 대해 길이 단어의 숫자 s L ( n ) N 의 L을 만족하는 방정식엘LLλ1, … , λ케이λ1,…,λk\lambda_1,\ldots,\lambda_k피1( …

17 formal-languages  regular-languages  combinatorics  word-combinatorics 

언어 와 주어지면 , 모든 단어 에 와 와 정확히 하나의 분해 가 그렇지 않으면 모호한 경우 , 그들의 연결 가 모호하지 않다고 가정 해 봅시다 . (이 속성에 대해 확립 된 용어가 있는지 모릅니다. 검색하기 어려운 것입니다!) 사소한 예로서, 자체 연결은 모호합니다 ( )이지만 연결 자체는 분명합니다.AAABBBABABABw∈ABw∈ABw \in ABw=abw=abw …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

Type 3 Grammar를 사용하는 경우 스택에서 작업을 수행하지 않고 푸시 다운 오토 마톤으로 표현할 수 있으므로 컨텍스트없는 언어를 사용하여 정규식을 표현할 수 있습니다. 그러나 구문 분석 테이블을 구성하지 않고 유형 3 문법이 , L L ( 1 ) , S L R ( 1 ) 등인지 알 수 있습니까?LR(1)LR(1)LR(1)LL(1)LL(1)LL(1)SLR(1)SLR(1)SLR(1)

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

이 대학에서 CS 과정에서 연구와 관련된 질문을 참고, 그것은 숙제되어 있지 않으므로 찾을 수 있습니다 여기에 2011 년 가을 exam2에서. 다음은 지난 시험에서보고있는 두 가지 질문입니다. 그들은 관련이있는 것 같습니다. 허락하다 FINITECFG={&lt;G&gt;∣G is a Context Free Grammar with |L(G)|&lt;∞}FINITECFG={&lt;G&gt;∣G is a Context Free Grammar with |L(G)|&lt;∞}\qquad \mathrm{FINITE}_{\mathrm{CFG}} = \{ < …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

이것은의 후속 질문 이 하나 . 이국적인 상태 머신 에 대한 이전 질문 에서 Alex ten Brink와 Raphael은 고유 한 상태 머신의 계산 기능 : 최소 힙 오토마타를 다루었습니다. 그들은 그러한 기계들 ( HALHALHAL )에 의해 받아 들여진 언어 세트가 문맥이없는 언어 세트의 서브 세트도 아니고 수퍼 세트도 아님 을 …

16 formal-languages  automata  closure-properties 

결정 론적 유한 오토 마톤 (DFA)은 모든 정규 언어 만 수용 할 수있는 상태 머신 모델입니다. DFA는 각 상태가 입력 알파벳의 모든 요소에 대해 약간의 전환을 제공해야하는 방식으로 정의 될 수 있으며 일반적으로 정의 될 수 있습니다. 즉, 전이 함수 는 (총) 함수 여야합니다.δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q \times \Sigma \rightarrow Q …

16 formal-languages  automata  finite-automata