«formal-languages» 태그된 질문

나는 일반적으로 계산 복잡성과 Chomsky 계층 사이의 관계에 대해 궁금합니다. 특히, 어떤 문제가 NP-complete라는 것을 안다면, 그 문제 의 언어 가 문맥에 맞지 않는 것입니까? 예를 들어, 문제가 NP- 완료입니다. 클리 스키가있는 모델에 해당하는 언어는 Chomsky 계층 구조에서 약간의 복잡성을 갖습니다 (모델을 문자열로 인코딩하는 모든 / 일부 방법에 대해)?

14 complexity-theory  formal-languages 

두 개의 하위 문자열의 동일한 수의 인스턴스를 포함하는 언어가 언제 규칙적인지 궁금합니다. 나는 1과 0의 동일한 수를 포함하는 언어가 정규 아니라, 같은 언어 것을 알고 , L은 = { W는 | 문자열 "001"의 인스턴스의 수는 문자열 "100"의 인스턴스의 수와 같습니다를 } 정기적? 문자열 "00100"이 허용됩니다.LLLLLL{w∣{w∣\{ w \mid}}\} 내 직감은 그렇지 …

14 formal-languages  regular-languages  pumping-lemma 

나는 indendation에 민감한 언어에 대한 문법을 ​​생각하고 있었고 CF 문법이 매개 변수와 결합되면 트릭을 수행하는 것처럼 보입니다. 예를 들어, ANTLR과 유사한 형식의 단순화 된 Python 문법에 대해이 단편을 고려하십시오. // on top-level the statements have empty indent program : statement('')+ ; // let's consider only one compound statement and one …

13 formal-languages  context-free  formal-grammars  parsers 

현재 공식 언어 및 오토마타 과정에 배정되는 동안, 나는 단항 언어 (올바른 용어), 즉 한 글자로 된 언어와 관련된 연습에 갇혀있었습니다. 특정 운동에 대해 묻고 싶지 않지만 오히려 더 일반적인 추측에 대해 묻습니다. 하자 와 . 내 추측은 :Σ={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 …

13 formal-languages  regular-languages 

나는 공식 언어와 생산 기반 시스템 (규칙 기반 시스템)을 공부하고 있는데 왜이 두 단어 "생산"과 "규칙"이 컴퓨터 과학의 많은 맥락에서 같은 의미를 갖는지에 대해 약간 혼란스러워합니다. 영어로 그들은 같은 것을 의미하지 않는 것 같습니다. 나는 영어를 모국어로 사용하는 사람은 아니지만, 규칙은 사람들에 대해 이야기 할 때하지 말아야 할 일이나하지 말아야 …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

그럼에도 불구하고 많은 "유명한"결정 불가능한 문제는 적어도 반 결정 불가능하며, 그 보완은 결정 불가능합니다. 무엇보다도 정지 문제와 그 보완이 될 수 있습니다. 그러나 아무도 문제와 그 보완이 결정 불가능하고 반 결정 불가능한 예를 줄 수 있습니까? 나는 대각선 화 언어 Ld에 대해 생각했지만 보완이 결정 불가능한 것으로 보이지는 않습니다. 이 …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

다음 문제에 대한 효율적인 알고리즘이나 NP 경도 증명을 찾고 있습니다. 하자 세트되고 ⊆ P ( Σ ) 의 서브 세트의 세트 Σ . 각 L ∈ A 에 대해 { w k + i ∣ 0 ≤ i < | 와 같은 k ∈ N 이 있도록 최소 길이 의 …

13 algorithms  formal-languages  encoding-scheme 

수학 그룹 과 CS 공식 언어 또는 튜링 머신과 같은 다른 핵심 CS 개념 을 연관 시키거나 연결하는 자연 스럽거나 주목할만한 방법이 있습니까? 참조 / 응용 프로그램을 찾고 있습니다. 그러나 세미 그룹과 CS 언어 사이의 링크를 알고 있습니다 (즉, 유한 automata 통해 ). (반 자동화에 대한이 문헌은 "그룹-자동화"를 본 적이 …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

많은 인기있는 언어가 있습니다. 그러나 컴퓨터 과학자들은 이러한 언어로 된 프로그램의 동작을 이해하기 위해 프로그램 동작에 대해 확실하고 분명하게 논쟁하기 위해 (예를 들어, 그들의 신분 증명) 다른 잘 이해되는 언어로 번역해야한다고 말합니다. 그들은 그러한 언어를 "의미론"이라고 부릅니다. 저자는 많은 의미론 중 하나를 제안합니다. 그들은 건축의 의미와 언어를 어떻게 번역 할 …

13 formal-languages  semantics 

다음에 대한 귀하의 도움을 진심으로 바랍니다. 를 들어 어떤 고정 된 나는 다음 연산자에서 폐쇄가 있는지 여부를 결정해야합니다 :엘2L2L_2 ㅏ아르 자형( L ) = { x ∣ ∃ y∈ L2: x y∈ L }Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} .ㅏ엘( L ) = { x ∣ …

13 formal-languages  regular-languages  closure-properties 

은 알파벳 Σ = { a , b }에 대한 정규 언어입니다. w ∈ Σ ∗ 에 관한 L 의 왼쪽 몫은언어 w − 1 L입니다 . = { v ∣ w v ∈ L }엘LLΣ = { a , b }Σ={a,b}\Sigma = \{a,b\}엘LLw ∈ Σ※w∈Σ∗w \in \Sigma^*승− 1L : …

13 formal-languages  regular-languages  closure-properties 

비정규 언어가 있다는 것을 알고 는 규칙적이지만 찾을 수있는 모든 예제는 상황에 따라 달라 지지만 상황에 맞지 않습니다.L∗L∗L^* 그것을 증명할 방법이 없다면 어떻게합니까?

13 formal-languages  context-free  regular-languages 

POSIX.1-2008에 정의 된 "기본 정규 표현식"은 대체를 지원하지 않습니다 a|b(일부 grep 구현은 이스케이프 된 버전을 인식하지만 \|). 정규 언어는 정의에 따라 통합되어 닫혀 있기 때문에 POSIX BRE가 유한 오토 마톤보다 표현력이 낮다는 의미입니까? 아니면 다른 구조를 사용하여 교대를 시뮬레이트하는 방법이 있습니까?

13 formal-languages  regular-expressions 

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

13 formal-languages  regular-languages  regular-expressions 

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

12 formal-languages  regular-languages  regular-expressions  kleene-star