«formal-languages» 태그된 질문

이기 때문에 이것이 가능한지 궁금합니다 . 따라서 단어 w ∈ { a n b n c n ∣ n ≥ 0 } 을 나머지 { a ∗ b ∗ c ∗ } 와 구별 할 수있는 PDA 도 받아 들일 수 있습니다.{엔비엔씨엔∣ n ≥ 0 } ∉ C F L{anbncn∣n≥0}∉CFL\{a^n …

16 formal-languages  automata  context-free  pushdown-automata 

컴퓨터 이론에서 "무한"언어 또는 "유한"언어라는 문구를 사용하는 것이 확실하지 않습니다. 나는 문제의 뿌리가 같은 언어 있다는 생각 L={ab}∗L={ab}∗L=\{ab\}^* 인 무한 은 무한 (그러나 셀 수) 문자열의 수를 생성 할 수 있다는 점이다. 그러나 여전히 유한 상태 자동 장치 로 인식 할 수 있습니다 . 그것은 또한 Sipser 책이 실제로 (내가 …

16 formal-languages  terminology  regular-languages 

이라고하자 Σ={0,1}Σ={0,1}\Sigma = \{ 0, 1 \}. 언어 L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^* 는 회 문인 모든 문자열 www 대해 경우 "반대 문 방지"속성이 있다고합니다 w∉Lw∉Lw\notin L. 또한 회문 이 아닌 모든 문자열 uuu 대해 u ∈ L 또는 R e v e r s e ( u ) ∈ L 이지만 …

15 formal-languages 

: 내 텍스트 책에서 언급되어 경우 ∅이 비어있는 언어입니다.∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\}∅∅\emptyset 그러나 이며 L 은 모든 언어입니다.L⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptysetLLL Kleene 스타 작업이 이라는 사실을 지적하기 때문에이 개념을 직관적으로 파악할 수 없습니다 .∅∗=∅0∪∅1∪∅2∪⋯∅∗=∅0∪∅1∪∅2∪⋯\emptyset^*=\emptyset^0 \cup \emptyset^1 \cup \emptyset^2 \cup \cdots 그래서 왜 동일하지 ∅ ?∅∗∅∗\emptyset^*∅∅\emptyset

15 formal-languages  kleene-star 

따라서 기본적으로 L은 CFL에 대한 펌핑 렘마의 조건을 충족하지만 CFL은 아닙니다 (이는 렘마의 정의에 따라 가능).

15 formal-languages  context-free  pumping-lemma 

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

15 formal-languages  automata  nondeterminism 

일정한 언어로 주어진 길이의 단어 수의 대수적 특성이 있습니까? Wikipedia 의 결과는 다소 부정확합니다. 정규 언어 대해 상수 및 다항식 존재하므로 모든 대해 숫자 은 에서 길이 단어는 방정식 합니다.λ 1 ,LLLp 1 ( x ) ,λ1,…,λkλ1,…,λk\lambda_1,\,\ldots,\,\lambda_kn s L ( n ) n L s L ( n ) = …

15 formal-languages  regular-languages  word-combinatorics 

일상의 문제를 설명하기 위해 만들어진 대부분의 언어는 상황에 따라 달라질 수 있습니다. 반면에, 재귀 적이 지 않거나 재귀 적으로 열거 할 수없는 일부 언어를 찾는 것은 가능하고 어렵지 않습니다. 이 두 유형 사이에는 재귀 비 문맥 언어가 있습니다. Wikipedia는 여기에 하나의 예를 제공 합니다 . 문맥에 맞지 않는 재귀 언어의 …

15 formal-languages  complexity-theory  formal-grammars 

언어 감안할 때 LLL 의 길이 세트 정의 LLL 단어의 길이의 세트로 LLL : LS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} 정규 언어의 길이 세트가 될 수있는 정수 세트는 무엇입니까?

15 formal-languages  computability  regular-languages  finite-automata 

언어 을 . 즉, 은 일부 단어를 두 번 반복하여 표현할 수없는 단어를 포함합니다. 컨텍스트 가 없는가 ?L = { a , b } ∗ − { w w ∣ w ∈ { a , b } ∗ } L LLLLL={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\}LLLLLL …

15 formal-languages  context-free  formal-grammars 

나는 보통 빈 문자열 (빈 단어 또는 null 문자열)에 기호를 사용합니다 . 그러나 일부 사람들 은 ε 대신 λ 를 사용 한다는 것을 알고 있습니다 .εε\varepsilonλλ\lambdaεε\varepsilon 은 "빈"이라는 단어에서 파생 된 것 같습니다 . 그러나 나는 λ 의 기원이 무엇인지 모른다 .εε\varepsilonλλ\lambda 오토마타 이론에는 오토마타의 엡실론 전이가 있으며 람다 전이라고도합니다. …

14 formal-languages  automata  reference-request  notation  history 

알파벳 주어지면, n- 상태의 비 결정적 유한 오토 마톤에 Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}의해 수용 될 수있는 다른 정규 언어는 몇 개 입니까?nnn 예를 들어, 고려하십시오 n=3n=3n=3. 그런 다음 2182182^{18} 다른 전환 구성과 23232^3 다른 시작 및 종료 상태 구성을 가지므로 상한이 2242242^{24} 다른 언어입니다. 그러나 이것들 중 다수는 동등 …

14 formal-languages  regular-languages  finite-automata  combinatorics 

나는 들소의 사용법을 스스로에게 가르치려고 노력한다. bison (1) 맨 페이지는 bison에 대해 말합니다. LALR (1), IELR (1) 또는 표준 LR (1) 파서 테이블을 사용하여 결정적 LR 또는 GLR (Generalized LR) 파서를 생성하십시오. IELR 파서 란 무엇입니까? 월드 와이드 웹에서 찾은 모든 관련 기사는 유료입니다.

14 formal-languages  terminology  formal-grammars  parsers 

Wikipedia 기사 에 따르면 L in 는 "왼쪽에서 오른쪽으로 스캔"을 의미하고 "R"은 "가장 오른쪽 파생"을 의미합니다. 그러나 L R ( k ) 문법 에 대한 Knuth의 원본 논문에서 그는 L R ( k ) (610 페이지의 L R ( k ) )를 "왼쪽에서 오른쪽으로 바운드 k 로 번역 할 수있는"언어로 …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

GGG 를 문맥없는 문법으로 하자 . 단자의 비끝의 문자열 GGG 것으로 알려져 sentential 형태 의 GGG 는의 제작에 적용하여 얻을 수있는 경우 GGG 의 시작 심볼 0 번 이상 SSS . SF(G)SF⁡(G)\operatorname{SF}(G) 일련의 형태로 보자 GGG. 하자 α∈SF(G)α∈SF⁡(G)\alpha \in \operatorname{SF}(G) 및하자 ββ\beta 의 문자열이 될 αα\alpha - 우리가 전화 조각 …

14 formal-languages  context-free  formal-grammars  closure-properties