«regular-languages» 태그된 질문

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

10
언어가 규칙적이지 않다는 것을 증명하는 방법?
우리는 정규 언어 클래스 에 대해 배웠습니다 . 정규 표현식, 유한 오토마타 및 왼쪽 선형 문법 중 하나의 개념이 특징이므로 주어진 언어가 규칙적임을 쉽게 알 수 있습니다.REGREG\mathrm{REG} 그래도 어떻게 반대를 보여줄 수 있습니까? 내 TA는 그렇게하기 위해서는 모든 정규 표현 (또는 모든 유한 한 오토마타 또는 모든 왼쪽 선형 문법)에 …
8
언어가 규칙적임을 증명하는 방법?
언어가 규칙적이지 않다는 것을 증명하는 방법이 많이 있지만, 어떤 언어 가 규칙적 이라는 것을 증명하려면 어떻게해야 합니까? 예를 들어, 이 규칙적이라고한다면 다음 도 규칙적 임을 어떻게 증명할 수 있습니까?LLLL′L′L' L′:={w∈L:uv=w for u∈Σ∗∖L and v∈Σ+}L′:={w∈L:uv=w for u∈Σ∗∖L and v∈Σ+}\qquad \displaystyle L' := \{w \in L: uv = w \text{ for } …
2
평면 정규 언어
수업 시간에 한 학생이 모든 유한 한 오토마타가 가장자리를 넘지 않고 그릴 수 있는지 물었습니다 (모든 예제가 그랬던 것처럼 보입니다). 물론 대답은 부정적이다. 언어에 대한 명백한 자동화는 {x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\; x\in\{a,b\}^* \mid \#_a(x)+2\#_b(x) \equiv 0 \mod 5 \;\} 는 5 개의 노드에 대한 완전한 그래프 인 K5K5K_5 의 구조를 갖습니다 . . …
5
일반 언어를 튜링 할 수 있습니까?
나는 Iota와 Jot 에 대해 읽고 있었고이 섹션이 혼란 스럽다는 것을 알았습니다. 문자열의 구문 트리가 왼쪽 또는 오른쪽으로 분기 될 수있는 Iota와 달리 Jot 구문은 균일하게 왼쪽 분기됩니다. 결과적으로, Iota는 엄격하게 컨텍스트가 없지만 Jot는 일반 언어입니다. 내 이해는 Iota와 Jot이 모두 Turing이라는 것입니다. 그러나 분명히 하나는 맥락이 없으며 다른 하나는 …
2
왜 일반 언어가 '일반'입니까?
난 그냥의 첫 번째 챕터 완료 한 계산의 이론 소개 에 의해 마이클 십서 유한 오토마타의 기본 사항을 설명합니다. 그는 정규 언어를 유한 오토마타로 설명 할 수있는 것으로 정의합니다. 그러나 나는 왜 정규 언어가 "정규"라고 불리는지를 설명 할 수 없었습니다. 이 문맥에서 "정규"라는 용어의 기원은 무엇입니까? 참고 : 나는 초보자이므로 …
1
"고밀도"정규식은 ?를 생성합니다 .
정규식에 대한 추측은 다음과 같습니다. 정규식 경우 길이괄호와 연산자를 무시하고 그 안에있는 기호의 수 여야합니다. 예 :RRR|R||R||R||0∪1|=|(0∪1)∗|=2|0∪1|=|(0∪1)∗|=2|0 \cup 1| = |(0 \cup 1)^*| = 2 추측 : 만약 및 은 모든 길이의 문자열이하이면 입니다.|R|>1|R|>1|R| > 1L(R)L(R)L(R)|R||R||R|L(R)=Σ∗L(R)=Σ∗L(R) = \Sigma^* 즉, 이 의 길이 까지 '밀도' 이면 실제로 모든 것을 생성합니다.L(R)L(R)L(R)RRRRRR 관련이있는 …
3
동등한 DFA가 최대 크기가되도록 NFA의 조건은 무엇입니까?
우리는 DFA가 표현력면에서 NFA와 동등하다는 것을 알고 있습니다. NFA를 DFA로 변환하는 알려진 알고리즘도 있습니다 (불행히도 이제는 해당 알고리즘의 발명자를 알고 있습니다). 최악의 경우 NFA에 상태 가있는 경우 상태가됩니다 . S2S2S2^SSSS 내 질문은 : 최악의 시나리오를 결정하는 것은 무엇입니까? 다음은 모호한 경우 알고리즘의 전사입니다. 하자 NFA 될. 여기서 DFA .A ′ …
1
단항 알파벳을 역 참조하는 정규 표현식
환경: 역 참조가있는 정규식 단항 언어 (1 기호 알파벳) 이 설정에서 다음 문제를 결정할 수 있습니까? 역 참조가있는 정규식이 주어지면 정규 언어를 정의합니까? 예를 들어, (aa+)\1일반 언어를 정의하지만 (aa+)\1+그렇지는 않습니다. 어떤 경우인지 결정할 수 있습니까? 구체적으로, "역 참조가있는 정규 표현식"은 일반적인 Perl 호환 정규 표현식 의 다음 하위 집합을 나타냅니다 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.