«formal-languages» 태그된 질문

나는 그 질문을 보았습니다 : "노동자들이 정규 언어를 출력하지 않는 두 개의 정규 언어의 예를 들어보십시오." 나는 정규 언어가 노동 조합에서 폐쇄되었다고 믿기 때문에 나에게 충격적입니다. 어느 내가이 개 일반 언어와 조합을 가지고가는 경우에, 나는 나에게 의미 합니다 정규 언어를 얻을. 그리고 나는 그 증거를 이해한다고 생각합니다. 내 말로, 언어가 …

12 formal-languages  regular-languages  closure-properties 

여기 문제가 있습니다 : 입력 문자열이 포함 된 테이프 부분에 쓸 수없는 단일 테이프 Turing Machine은 일반 언어 만 인식한다는 것을 증명하십시오. 내 생각은이 특정 TM이 DFA와 동등하다는 것을 증명하는 것입니다. 이 TM을 사용하여 DFA를 시뮬레이션하는 것은 매우 간단합니다. 그러나이 DFA를 사용하여 TM을 시뮬레이션하려고 할 때 문제가 발생합니다. TM 전이 …

12 formal-languages  computability  regular-languages  turing-machines  automata 

문맥이없는 문법은 문맥이없는 언어를 표현하는 데 사용될 수 있다는 것을 이해합니다. 또한 Chomsky 및 Greibach 일반 형식 과 같은 일반 형식이 있습니다. 나는 그 필요성을 이해할 수 없었다. 언어 이론에서 왜 중요한가? 내가 언급 한 모든 교과서는 이러한 일반적인 형태에 대해서는 말하지만 그 중요성에 대해서는 아무 것도 말하지 않았습니다.

12 formal-languages  context-free  formal-grammars  normal-forms 

라고 말합니다 L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^*. 그러면 L∗L∗L^* 가 규칙적 임을 어떻게 증명할 수 있습니까? LLL 이 규칙적 이라면 물론 L∗L∗L^* 도 규칙적입니다. LLL 이 유한 인 경우 , 규칙적이며 다시 L∗L∗L^* 가 규칙적입니다. 또한 L={0p∣p is a prime}L={0p∣p is a prime}L = \{0^p \mid p \text{ is a prime}\} 이고, …

12 formal-languages  regular-languages 

경우 2 일반, 것을 따르지 A는 일반입니까?ㅏ2A2A^2ㅏAA 증거에 대한 나의 시도 : 그렇습니다. 모순을 위해 ㅏAA 가 규칙적이지 않다고 가정하십시오 . 그런 다음 ㅏ2= A ⋅ AA2=A⋅AA^2 = A \cdot A 입니다. 두 개의 비정규 언어의 연결이 규칙적이지 않기 때문에 ㅏ2A2A^2 는 규칙적 일 수 없습니다. 이것은 우리의 가정과 모순됩니다. …

12 formal-languages  regular-languages  closure-properties 

나는 계산 이론에서 괴델 라이 제이션 과정을보고있었습니다. 나는 고델 (Gödel) 번호 매기기 개념을 이해할 수 있었지만 계산 이론에서 그 중요성을 이해할 수 없었습니다. 누구나 좋은 재료를 지적하거나 그 중요성을 지적 할 수 있습니까?

12 formal-languages  turing-machines 

하자 일반 수, 일반, 일반 없습니다. 가 규칙적이지 것을 반례를 제시하십시오.L1L1L_1L1∩L2L1∩L2L_1 \cap L_2L2L2L_2L1∪L2L1∪L2L_1 \cup L_2 나는 이것을 시도했다 : . 이것은 규칙적입니다. 나는 이것에 대한 유한 자동 장치를 구성 할 수 있습니다 정기적 인, 입니다 일반, 그래서 모든 경로 (유한 한 양)을 제거 에 대한 경로의 유한 한 양에서 . …

12 formal-languages  regular-languages 

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

12 formal-languages  parsers  regular-expressions  pushdown-automata 

조합 / 교차로 / 연결된 언어를 결정할 수있는 결정 불가능한 언어가 있습니까? 일반적으로 결정 불가능한 언어가 이러한 작업에서 닫히지 않기 때문에 이러한 예의 물리적 해석은 무엇입니까? 클라인 폐쇄에 대해 무엇을 말할 수 있습니까? 우리도 그에 대한 예를 가지고 있습니까? 즉, 결정 불가능한 언어의 종결을 결정할 수 있습니까? 또한 결정 불가능한 …

12 formal-languages  undecidability  closure-properties 

이 그림을 보았을 때 문맥이없는 언어와 일반 언어는 효율적인 문제의 일부 (적절한) 입니다. 효율적인 문제는 해결할 수는 있지만 시간이 오래 걸릴 수 있기 때문에 모든 결정 가능한 문제의 하위 집합이라는 것을 완벽하게 이해하고 있습니다.피P\mathrm{P} 왜 모든 문맥 자유와 일반 언어를 효율적으로 decidable? 그것들을 해결하는 데 오랜 시간이 걸리지 않는다는 것을 …

12 formal-languages  regular-languages  context-free  efficiency 

양방향 DFA의 공허함을 결정하는 데 시간 복잡성이 무엇인지 궁금합니다. 즉, 읽기 전용 입력 테이프에서 뒤로 이동할 수있는 유한 오토마타. Wikipedia에 따르면 DFA와 동일하지만 동등한 DFA는 기하 급수적으로 클 수 있습니다. 나는 보완 및 교차로에 대한 국가의 복잡성을 발견했지만 공허 테스트에 대해서는 아닙니다. 아무도 내가 이것을 찾을 수있는 종이를 알고 있습니까?

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

의 보수가 클로저 속성을 사용하여 규칙적이지 않다는 것을 증명하고 싶습니다 .{ 0엔1엔∣ n ≥0 }{0엔1엔∣엔≥0}\{0^n1^n \mid n \geq{} 0\} 펌핑 lemma를 사용하여 이 일반 언어가 아님 을 증명할 수 있습니다 . 또한 정규 언어가 보완 작업으로 닫혀 있음을 이해합니다. 그러나 이것이 비정규 언어의 보완이 비정규임을 의미 하는가?{ 0엔1엔∣ n ≥0 …

12 formal-languages  regular-languages  closure-properties 

이 질문은 모든 수학적 정리가 단일 Turing 기계의 정지 여부에 대한 질문으로 축소 될 수 있는지에 관한 것입니다. 특히, 나는 현재 입증되지 않은 추측에 관심이 있습니다. 예를 들어, Wikipedia 는 현재 홀수의 완벽한 숫자가 있는지 알 수 없다고 말합니다 . 주어진 숫자가 완벽한 지 여부를 결정할 수 있기 때문에 각 …

11 formal-languages  computability  mathematical-foundations 

일반 expresssion은 재귀 적으로 정의된다 ∈ Σㅏaa 일부 , 정규 표현식이다∈ Σa∈Σa \in \Sigma εε\varepsilon 은 정규 표현식입니다. ∅∅\emptyset 은 정규 표현식입니다. R 1 R 2( R1∪ R2)(R1∪R2)(R_1 \cup R_2) 여기서 및 는 정규식입니다.아르 자형1R1R_1아르 자형2R2R_2 R 1 R 2( R1∘ R2)(R1∘R2)(R_1 \circ R_2) 곳 및 정규 표현식 정규 표현식이되고있다,아르 …

11 formal-languages  regular-languages  regular-expressions 

철저하게 문헌에서 연구되어 왔으며, 여러 가지 알고리즘은 다음과 같은 문제를 해결하기 위해 제안되었다 문제가 결정적 유한 오토마타 (DFAS)를 최소로 줄이는하십시오 DFA 감안할 때 , 같은 언어를 받아들이는 해당 최소한의 DFA를 계산 을 . 이러한 알고리즘의 대부분은 다항식 시간으로 실행됩니다.AA\mathscr{A}AA\mathscr{A} "는 DFA 주어진 - 그러나, 나는이 문제의 결정 변형 여부를 궁금해 …

11 algorithms  formal-languages  finite-automata