«regular-languages» 태그된 질문

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

1
구체화 유형 추론
직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 
5
언어의 규칙성에 대한 충분하고 필요한 조건
다음 중 올바른 말은 무엇입니까? 언어의 규칙성에 관한 충분하고 필요한 조건이 존재하지만 아직 발견되지 않았습니다. 언어의 규칙성에 대해 충분하고 필요한 조건이 없습니다. 펌핑 보조는 언어의 비 규칙성에 필요한 조건입니다. 펌핑 보조는 언어의 비 규칙 성을위한 충분한 조건입니다. 나는 이 진술의 반대 가 사실이 아니기 때문에 # (4)가 정확하고 # (3)이 …
2
주어진 문자열을 수락하고 다른 주어진 문자열을 거부하는 가장 작은 DFA
주어 두 세트는 문자 위에 문자열 우리 (DFA) 작은 결정 성 유한 상태 오토 마톤을 계산할 수 M 이되도록 \ SUBSETEQ의 L (M) 와 L (M) \ SUBSETEQ \ 시그마 ^ * \ setminus의 B를 ?A,BA,BA,BΣΣ\SigmaMMMA⊆L(M)A⊆L(M)A \subseteq L(M)L(M)⊆Σ∗∖BL(M)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B 즉, AAA 는 일련의 긍정적 인 예를 나타냅니다. A의 …
4
최대 3 개 주를 가진 DFA에서 정규 언어를 사용할 수 없음
주가 3 개 밖에없는 DFA에서는 받아 들일 수없는 일반 언어를 설명하십시오. 나는 어디에서 이것을 시작할 지 확신하지 못하고 누군가 나에게 몇 가지 팁이나 조언을 줄 수 있는지 궁금해했다. 나는 펌핑 보조 정리가 언어가 규칙적이지 않다는 것을 증명하기 위해 사용될 수 있다는 것을 이해하지만,이 경우에는 정규 언어 여야합니다. 누구든지 생각이 있다면 …
5
아핀 함수 값의 언어
쓰기 ˉ 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 일반? 문맥이 …
5
유한 한 유한 문자열 세트가 주어지면 문법을 구성하는 알려진 방법이 있습니까?
내 독서에서 대부분의 문법은 무한한 수의 문자열을 생성하는 데 관심이있는 것 같습니다. 다른 방법으로 일하면 어떻게 되나요? 길이가 m 인 n 개의 문자열이 주어진 경우 해당 문자열을 생성하는 문법과 해당 문자열 만 생성 할 수 있어야합니다. 이를위한 알려진 방법이 있습니까? 이상적으로는 연구 할 수있는 기술 이름입니다. 또는 그러한 방법을 찾기 …
3
정규 표현식이 무한 할 수 있습니까?
정규 표현식을 사용하여 정의 할 수있는 언어와 DFA / NFA (finite automata)로 인식 할 수있는 언어는 동일합니다. 언어에 대한 DFA도 없습니다 . 하지만 여전히 그것은 (그 문제에 대한 모든 비정규직 언어가 될 수있다)와 같은 정규 표현식을 사용하여 작성 될 수있다 . 그러나 우리는 정규 표현을 가진 모든 언어가 그것을 인식하는 …
3
형식이 다음과 같은 형식의 모든 이진 문자열을 허용하는 DFA
이진수를 나눌 수있는 DFA를 nnn. 예를 들어 2로 나눌 수있는 이진수를 허용하는 DFA는 다음과 같이 구성 할 수 있습니다. 마찬가지로 3으로 나눌 수있는 이진수를 받아들이는 DFA는 다음과 같이 구성 될 수 있습니다. 잘 정의 된 절차에 따라 이러한 유형의 DFA를 구성 할 수 있습니다. 그러나 많은 수의 양식을 받아들이는 DFA를 …
2
단어 길이를 가진 단항 언어의 규칙 성은 두 개의 resp의 합입니다. 세 개의 사각형
나는 단항 언어 에 대해 생각합니다 . 여기서 는 길이가 제곱 의 합인 모든 단어로 설정 됩니다. 공식적으로 : 이것은 보여 쉽다고 정규 아니다 (예를 펌핑 - 보조 정리로). 또한 각 자연수는 4 제곱의 합이라는 것을 알고 있습니다. 이래로 모든 언어 가 규칙적 .엘케이LkL_k엘케이LkL_k케이kk엘케이= {ㅏ엔∣ n =∑나는 = 1케이엔나는2,엔나는∈엔0( 1 …
3
는 정규는?
몇 주 전에 전산 시험 이론을 택했는데 이것이 질문 중 하나였습니다. 언어L={(anbm)r∣n,m,r≥0}엘={(ㅏ엔비미디엄)아르 자형∣엔,미디엄,아르 자형≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} L은 규칙적인가요? 그렇다면 정규 표현식이나 오토 마톤을 제공하십시오. 시험 후 그에게 답을 간단히 물었을 때, 그것은 실제로 규칙적인 것처럼 보입니다 (그는 표현이 단순하다고 생각합니다 ). 그러나 그 이유를 이해할 수없는 것 같습니다. 내가 …
3
언어가 규칙적이라고 직관적으로 느끼는 방법
주어진 언어 L = {ㅏ엔비엔씨엔}L={anbncn} L= \{a^n b^n c^n\}, 생산 규칙을 ​​보지 않고이 언어가 규칙적이지 않다는 것을 직접 말할 수 있습니까? 나는 펌핑 보조 정리를 사용할 수 있지만 일부 사람들은 이것이 규칙적인 것이 아니라는 문법을보고 있다고 말합니다. 그게 어떻게 가능해?
4
오른쪽 및 왼쪽 연관 제품이 동일한 단어
Hopcroft와 Ullman 의 책을 사용하여 비 결정적 오토마타를 연구하기 시작했습니다 . 매우 흥미로운 문제에 갇혀 있습니다. 다음 표에 따라 곱하여 왼쪽에서 오른쪽으로 오른쪽에서 왼쪽으로 평가할 때 동일한 값을 갖는 모든 문자열을 허용하는 비 결정적 유한 자동 오토 마톤을 제공하십시오. ×ㅏ비씨ㅏㅏ씨비비ㅏㅏ씨씨씨비ㅏ×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times & a & b & c \\ \hline …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.