«formal-languages» 태그된 질문

방금 계산 이론에 들어가기 시작했습니다. 계산 이론은 얼마나 많은 메모리를 사용하고 어떤 계산 모델을 사용하여 얼마나 빨리 계산할 수 있는지 연구합니다. 나는 매우 기본적인 질문을 가지고 있지만 실제로 여러분 중 일부는 그 개념을 이해하는 데 도움이되기를 바랍니다. 왜 모든 것이 LANGUAGES의 개념과 정의 (즉, 일반 언어와 문맥없는 언어)에 집중되어 있습니까? …

10 complexity-theory  formal-languages 

주가 3 개 밖에없는 DFA에서는 받아 들일 수없는 일반 언어를 설명하십시오. 나는 어디에서 이것을 시작할 지 확신하지 못하고 누군가 나에게 몇 가지 팁이나 조언을 줄 수 있는지 궁금해했다. 나는 펌핑 보조 정리가 언어가 규칙적이지 않다는 것을 증명하기 위해 사용될 수 있다는 것을 이해하지만,이 경우에는 정규 언어 여야합니다. 누구든지 생각이 있다면 …

10 formal-languages  regular-languages  finite-automata  pumping-lemma 

이 주문 된 알파벳보다 일반적인 언어라고 가정하십시오 . 언어는 모든 단어를 가져 와서 항상 정규 언어로 정렬하여 작성됩니까?LLLLLL

10 formal-languages  regular-languages 

거기에 필요 에 대한 L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* 가 될 무한 결정 불가능한 것으로는? 우리가 언어를 선택하면 내가 무엇을 의미 L′L′L' 수 의 경계 유한 버전 L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* 입니다 |L′|≤N|L′|≤N|L'|\leq N , ( N∈NN∈NN \in \mathbb{N} ,)와 L′⊂LL′⊂LL' \subset L . 그것은 가능합니다 L′L′L' 결정 불가능한 언어로? "무한한"Kleene 스타 연산의 일종 인 …

10 formal-languages  computability  undecidability 

쓰기 ˉ Nn¯\bar n 의 진수 확장을위한 Nnn (아니오 선도 0). 하자 을aa 하고 b를bb 가진 정수, 수 > 0 . 의 배수의 진 확장의 언어 고려 플러스 상수를 :a>0a > 0aa M = { ¯ ax + b ∣x∈N}M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} 가 M은MM 일반? 문맥이 …

10 formal-languages  context-free  regular-languages  integers 

내 독서에서 대부분의 문법은 무한한 수의 문자열을 생성하는 데 관심이있는 것 같습니다. 다른 방법으로 일하면 어떻게 되나요? 길이가 m 인 n 개의 문자열이 주어진 경우 해당 문자열을 생성하는 문법과 해당 문자열 만 생성 할 수 있어야합니다. 이를위한 알려진 방법이 있습니까? 이상적으로는 연구 할 수있는 기술 이름입니다. 또는 그러한 방법을 찾기 …

10 formal-languages  regular-languages  formal-grammars  finite-sets 

정규 표현식을 사용하여 정의 할 수있는 언어와 DFA / NFA (finite automata)로 인식 할 수있는 언어는 동일합니다. 언어에 대한 DFA도 없습니다 . 하지만 여전히 그것은 (그 문제에 대한 모든 비정규직 언어가 될 수있다)와 같은 정규 표현식을 사용하여 작성 될 수있다 . 그러나 우리는 정규 표현을 가진 모든 언어가 그것을 인식하는 …

10 formal-languages  regular-languages  regular-expressions 

문제는 제목에 거의 있습니다. 일부 언어 시간 적이 있습니까 가진 최소한의 DFA에 의해 받아 들여질 수 상태,하지만 의 반전 ,와 DFA에 의해 받아 들여질 수 상태, ?엘엘L엔엔n엘아르 자형엘아르 자형L^R엘엘L미디엄미디엄mm &lt; n미디엄&lt;엔m<n

10 formal-languages  reference-request  automata  finite-automata 

seperator 가 두 언어를 다르게 만드는 이유는 무엇 입니까?##\# 다음과 같이 말하십시오 : L = { w s : | 승 | = | s |w , s ∈ { 0 , 1}※, w ≠ s }L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} 엘#= { w # s …

9 formal-languages  context-free  pumping-lemma 

문맥없는 문법이 무한한 수의 규칙을 갖도록 허용하면 최근에 어떤 일이 일어날 지 궁금합니다. 분명히, 우리가 임의의 무한한 규칙 집합을 허용한다면, 알파벳 통한 모든 언어 은 CFG 로 . 그러나 컨텍스트 프리 문법으로 작성할 수있는 규칙 세트로 을 제한하면 어떻게 될까요?LLLΣΣ\SigmaG=({S},Σ,R,S)G=({S},Σ,R,S)G = (\{S\},\Sigma,R,S)R={S→w∣w∈L}R={S→w∣w∈L}R = \{S \rightarrow w \mid w \in L …

9 formal-languages  context-free  formal-grammars 

일반적으로 while 루프의 구조적 작동 의미 론적 표현에서 프로그램 상태는 변경되지 않습니다. (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) 나에게 이것은 상태가 변하지 않으면 (즉, 메모리 상태가 동일하게 유지되는 경우) 직관적이지 않습니다. BBB …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

나는 단항 언어 에 대해 생각합니다 . 여기서 는 길이가 제곱 의 합인 모든 단어로 설정 됩니다. 공식적으로 : 이것은 보여 쉽다고 정규 아니다 (예를 펌핑 - 보조 정리로). 또한 각 자연수는 4 제곱의 합이라는 것을 알고 있습니다. 이래로 모든 언어 가 규칙적 .엘케이LkL_k엘케이LkL_k케이kk엘케이= {ㅏ엔∣ n =∑나는 = 1케이엔나는2,엔나는∈엔0( 1 …

9 formal-languages  regular-languages 

알파벳 \ Sigma 위 의 공식 언어 은 \ Sigma ^ * 의 하위 집합, 즉 해당 알파벳 위에있는 단어 집합입니다. 대응하는 세트가 L \ cup L '의 서브 세트와 확장 적으로 동일하면 두 개의 공식 언어 L 과 L' 는 같습니다 . 복잡한 이론에서 언어를 사용 하여 "문제"의 개념 …

9 complexity-theory  formal-languages  reference-request 

다음 언어를 설명하는 상황에 맞는 문법을 찾고 있습니다. L={ww∣w∈{a,b}∗,|w|≥1}L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} . 과 같은 규칙이 없다는 사실에 문제가 있습니다.X→εX→εX \to \varepsilon 은 허용되지 않으므로 단어의 "중간"을 나타내는 비 터미널을 배치 할 수 없다는 있습니다. 문제에 대한 트릭이 있습니까?

9 formal-languages  formal-grammars  context-sensitive 

상황에 맞는 언어를 조작하는 것과 관련된이 문제가 발생했습니다. 허락하다엘LL문맥이없는 언어입니다. 밝히다엘#= { x :엑스나는∈ LL#={x:xi∈LL^{\#} = \{ x : x^i \in L 모든 난 = 0 , 1 , 2 , . . . }i=0,1,2,...}i=0,1,2,...\}. 입니다엘#L#L^{\#}항상 문맥이 없습니까? 내 생각에 그것은 문맥 자유를 보존 할 것입니다. 누구든지 이것에 대한 기본적인 …

9 formal-languages  context-free