«regular-languages» 태그된 질문

일반 언어 및 개별 언어 클래스의 속성에 대한 질문.


4
정규식에 순열이없는 이유는 무엇입니까? (일반 언어가 이것을 할 수있는 것처럼 보일지라도)
문제 정규 표현식으로 순열을 얻는 쉬운 방법은 없습니다. 순열은 : 얻기 단어 번호를 변경하거나 종류의 문자 않고, 다른 순서 ( "AABC을").w=x1…xn승=엑스1…엑스엔w=x_1…x_n 정규식 : 정규식. 확인을 위해 : "반복없는 정규식 순열" 정답은 정규식 대신 JavaScript 코드를 작성합니다. "주어진 텍스트에서 주어진 단어의 모든 순열을 찾는 방법" – 정답도 사용하지 않습니다. "반복없이 모든 …

3
정규 표현식 2 개만으로는 표현할 수없는 정규 언어
나는 모든 정규 언어가 정규 표현식으로 표현 될 수 있다고 생각했지만 (언어가 정규이면 정규 표현식으로 표현할 수 있음) 그에 대해 정규 작업 (연결, 조합 및 별)을 모두 필요로한다고 들었습니다. 개최합니다. 예를 들어, 통합 및 연결 정규 표현식 작업 (3 중 2 개) 만 사용할 수 있다면 그 두 언어로는 설명 …

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

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

2
라고 말합니다 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}\} 이고, …

3
NFA가 다른 NFA의 하위 집합을 허용하는지에 대한 효율적인 테스트가 있습니까?
따라서 정규 언어 이 정규 언어 의 하위 집합 인지 테스트하는 것은 결정 가능합니다. 두 언어를 모두 DFA로 변환하고 계산 한 다음이 언어가 비어 있는지 테스트 할 수 있기 때문입니다.S R ∩ ˉ SRRRSSSR∩S¯R∩S¯R \cap \bar{S} 그러나이를 위해서는 DFA로 변환해야하므로 입력 NFA의 상태 수에 따라 DFA 및 테스트 알고리즘이 기하 …

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

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

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

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

3
정규식이 결합, 연결 및 별표 연산으로 정의되는 이유는 무엇입니까?
일반 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) 곳 및 정규 표현식 정규 표현식이되고있다,아르 …

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

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


당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.