«regular-languages» 태그된 질문

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

2
두 정규 언어의 연결은 언제 모호하지 않습니까?
언어 와 주어지면 , 모든 단어 에 와 와 정확히 하나의 분해 가 그렇지 않으면 모호한 경우 , 그들의 연결 가 모호하지 않다고 가정 해 봅시다 . (이 속성에 대해 확립 된 용어가 있는지 모릅니다. 검색하기 어려운 것입니다!) 사소한 예로서, 자체 연결은 모호합니다 ( )이지만 연결 자체는 분명합니다.AAABBBABABABw∈ABw∈ABw \in ABw=abw=abw …
2
정규식
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)
2
문법과 오토마타 언어의 결정 성
이 대학에서 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}} = \{ < …
1
일반 언어로 자유로운 컨텍스트 교차
문맥 자유 언어 L과 정규 언어 M의 교차는 항상 문맥 자유라고합니다. 교차 제품 구성 증명을 이해했지만 여전히 컨텍스트가 없지만 규칙이 아닌 이유는 알 수 없습니다. 이러한 교차로에서 생성 된 언어에는 PDA 와 DFA에서 모두 허용되는 문자열이 있습니다 . DFA에서 허용되므로 일반 언어가 아니어야합니까? 또한 교차점이 규칙적인 경우 모든 일반 언어에도 …
3
무한 언어 vs 유한 언어
컴퓨터 이론에서 "무한"언어 또는 "유한"언어라는 문구를 사용하는 것이 확실하지 않습니다. 나는 문제의 뿌리가 같은 언어 있다는 생각 L={ab}∗L={ab}∗L=\{ab\}^* 인 무한 은 무한 (그러나 셀 수) 문자열의 수를 생성 할 수 있다는 점이다. 그러나 여전히 유한 상태 자동 장치 로 인식 할 수 있습니다 . 그것은 또한 Sipser 책이 실제로 (내가 …
1
노조 존재시 NFA와 DFA의 지수 분리
최근 흥미로운 질문이 제기되어 삭제되었습니다. 일반 언어 LLL 경우 DFA 복잡도 는이를 수용하는 최소 DFA의 크기이며, NFA 복잡도 는이를 수용하는 최소 NFA의 크기입니다. 적어도 알파벳의 크기가 제한되지 않을 때, 두 복잡성 사이에 지수 적 분리가 존재한다는 것은 잘 알려져있다. 실제로, 모든 기호를 포함 하지 않는 모든 단어로 구성된 알파벳 { …
1
다른 정규 언어의 수
알파벳 주어지면, n- 상태의 비 결정적 유한 오토 마톤에 Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}의해 수용 될 수있는 다른 정규 언어는 몇 개 입니까?nnn 예를 들어, 고려하십시오 n=3n=3n=3. 그런 다음 2182182^{18} 다른 전환 구성과 23232^3 다른 시작 및 종료 상태 구성을 가지므로 상한이 2242242^{24} 다른 언어입니다. 그러나 이것들 중 다수는 동등 …
2
같은 수의 001과 100을 포함하는 단어의 언어가 규칙적입니까?
두 개의 하위 문자열의 동일한 수의 인스턴스를 포함하는 언어가 언제 규칙적인지 궁금합니다. 나는 1과 0의 동일한 수를 포함하는 언어가 정규 아니라, 같은 언어 것을 알고 , L은 = { W는 | 문자열 "001"의 인스턴스의 수는 문자열 "100"의 인스턴스의 수와 같습니다를 } 정기적? 문자열 "00100"이 허용됩니다.LLLLLL{w∣{w∣\{ w \mid}}\} 내 직감은 그렇지 …
2
지수가 선형 함수 인 경우 단항 언어는 정규입니까?
현재 공식 언어 및 오토마타 과정에 배정되는 동안, 나는 단항 언어 (올바른 용어), 즉 한 글자로 된 언어와 관련된 연습에 갇혀있었습니다. 특정 운동에 대해 묻고 싶지 않지만 오히려 더 일반적인 추측에 대해 묻습니다. 하자 와 . 내 추측은 :Σ={a}Σ={a}\Sigma=\{a\}L={af(n)∈Σ∗:n∈N0}L={af(n)∈Σ∗:n∈N0}L=\{a^{f(n)}\in\Sigma^*:n\in\mathbb N_0\} L is regular⇔∃x,y∈N0:f( n)=x⋅n+yL is regular⇔∃x,y∈N0:f(n)=엑스⋅엔+와이L\text{ is regular}\Leftrightarrow \exists x,y\in\mathbb …
1
정규 언어의 최대 인수 분해 찾기
언어 L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* 를 규칙적으로 유지하십시오. 의 인수 분해 는 다음과 같은 단어 집합의 LL\mathcal{L}최대 쌍 (X,Y)(X,Y)(X,Y) 입니다. X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , 여기서 X⋅Y={xyX⋅Y={xyX \cdot Y = \{xy | x∈X,y∈Y}x∈X,y∈Y}x \in X, y \in Y\} . (X,Y)(X,Y)(X,Y)(X′,Y′)≠(X,Y)(X′,Y′)≠(X,Y)(X',Y') \neq (X,Y)X′⋅Y′⊆LX′⋅Y′⊆LX'\cdot Y' \subseteq \mathcal{L} …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.