«fl.formal-languages» 태그된 질문

공식 언어, 문법, 오토마타 이론

2
언어 자체를“내장”
주요 / 일반 질문 언어로 하자 . 언어 를 및 로 . 고려하십시오 . 그래서 우리는 을 얻기 위해 을 그 자체에 반복적으로 포함 시켰다 .LLLLiLiL_iL0=LL0=LL_0 = LLi={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\}L = ⋃ L의 I의 L의 Li≥1i≥1i \geq 1L^=⋃LiL^=⋃Li\hat{L} = \bigcup L_iLLLL^L^\hat{L} 했습니다 연구되어? …
3
튜링 머신의 개념은 오토마타에서 파생 되었습니까?
최근에 "튜링 머신이 오토마타에서 파생 된 것입니까 아니면 다른 방법일까요?" 나는 물론 답을 알지 못했지만 궁금한 점이 궁금합니다. Turing Machine은 기본적으로 Push-Down Automata의 약간 더 정교한 버전입니다. 그로부터 나는 튜링 머신이 오토마타에서 파생되었다고 가정하지만, 확실한 증거 나 설명은 없습니다. 나는 단지 잘못되었을 수도 있습니다 ... 아마도 그들은 고립되어 개발되었을 것입니다. …
1
DFA에서 크기가
문제는 간단하고 직접적입니다. 고정 , 크기 n (즉, n 상태) 의 DFA에서 몇 개의 (다른) 언어를 사용할 수 있습니까? 나는 이것을 공식적으로 진술 할 것이다 :엔nn엔nn엔nn DFA를 로 정의하십시오. 여기서 모든 것이 평소와 같으며 δ : Q × Σ → Q 는 (부분적으로) 함수입니다. 때로는 총 함수 만 유효한 것으로 …
2
Cerny 추측의 상태?
DFA의 상태를 단일 상태로 보내는 문자열이 있으면 DFA에 동기화 단어 가 있습니다. AN Trahtman (Discrete Mathematics and Theorytical Computer Science vol. 9 : 2, 2007, pp.3-10)의 '비 주기적 오토마타에 대한 Cerny 추측'에서 그는 다음과 같이 썼다. Cerny는 1964 년에 모든 n- 상태 동기화 가능 DFA는 최대 길이 의 동기화 단어를 …
4
대부분의 REGEX 구현은 어디에서 복잡성 규모에 해당합니까?
perl 또는 .NET과 같은 대부분의 최신 정규식 구현은 lookahead 및 lookbehind와 같은 기능을 가진 REGEX의 고전적인 컴퓨터 과학 정의를 뛰어 넘습니다. 이러한 기능을 통해 푸시 다운이 아닌 유한 오토 마톤으로 설명 할 수없는 문장을 구문 분석 할 수 있습니까? 튜링 완료에 얼마나 근접 할 수 있습니까?
2
JSON은 정규 언어입니까?
JSON 사양이 일반 언어를 정의 했는지 궁금합니다 . 충분히 간단 해 보이지만 직접 증명하는 방법을 모르겠습니다. 내가 묻는 이유는 정규 표현식을 사용하여 JSON을 효과적으로 파싱 할 수 있는지 궁금해하기 때문입니다. 담당자가 충분한 사람이 json 및 일반 언어 태그를 작성해 주시겠습니까?
2
단항 상황에 맞는 언어가 규칙적인지 결정
그 질문은 잘 알려진 결과입니다 문맥없는 문법은 정규 언어를 생성합니까? 결정할 수 없습니다. 그러나 단항 알파벳으로 결정할 수 있습니다.이 경우 문맥이없는 언어와 일반 언어의 클래스가 일치하기 때문입니다. 내 질문은 단항 상황에 맞는 언어 에서 어떤 일이 발생하는지 아는 것 입니다. 단항 알파벳에서 주어진 상황에 맞는 문법이 정규 언어를 생성하는지 여부를 …
5
polynomially-decidable 억제가있는 주목할만한 오토 마톤 모델에는 어떤 것이 있습니까?
특정 문제를 해결하려고하는데 automata 이론을 사용하여 해결할 수 있다고 생각했습니다. 다항식 시간에 어떤 오토마타 모델이 격리를 결정할 수 있는지 궁금합니다. 즉 기계 있는 경우 효율적으로 테스트 할 수 있습니다 .M1,M2M1,M2M_1, M_2L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) 기억해야 할 것은 DFA와 역수 제한 카운터 머신입니다. 카운터 수가 고정되어 있습니다 ( 이 백서 참조 ). …
5
계산 가능한 숫자가 합리적인지 또는 정수인지 테스트 할 수 있습니까?
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
3
공간을 사용한 CFG 구문 분석
컨텍스트없는 문법을 시간으로 구문 분석 할 수있는 다양한 알고리즘이 있습니다 . 행렬 곱셈을 사용하면 그보다 빠른 속도로 갈 수 있습니다.O ( n삼)영형(엔삼)O(n^3) 그러나 내가 알고있는 임의의 CFG를 구문 분석하기위한 모든 알고리즘은 최악의 경우 공간 사용이 (그러나 매트릭스 곱셈 알고리즘의 공간 사용이 무엇인지는 모릅니다). 이 공간 사용을 개선하는 알고리즘이 있는지 궁금합니다 …
6
문법을 통해 어떤 계산 모델을 표현할 수 있습니까?
이것은 문법 프로그램입니까? 의 재구성입니다 . Vag가 이전에 요청했으며 주석 작성자의 많은 제안이 있습니다. 문법은 어떤 방식으로 계산 모델을 지정하는 것으로 볼 수 있습니까? 예를 들어 다음과 같은 간단한 문맥없는 문법을 사용하는 경우 G ::= '1' -> '0' '+' '1' '1' -> '1' '+' '0' '2' -> '2' '+' '0' …
3
Brzozowski의 정규 표현식을 문법으로 파생시키는 방법의 일반화?
Brzozowski의 미분법 은 정규식에서 결정 론적 오토마타를 대수적으로 만드는 매우 훌륭한 기술입니다. 더 큰 문법 클래스를 처리하기 위해이 기술의 귀여운 일반화를 수행했지만 알고리즘은 이전에 발견 된 것처럼 보일 정도로 간단합니다. 그러나이 기술의 자손에 대한 인터넷 검색은 많이 나타나지 않습니다. 아는 사람 있나요?
1
모든 기본 단어 집합이 주요 언어입니까?
단어 와 이 없으면 되도록 단어 를 primitive 라고 합니다. 알파벳 위에있는 모든 기본 단어 의 집합 는 잘 알려진 언어입니다. WLOG 선택할 수 있습니다 .wwwvvvk>1k>1k > 1w=vkw=vkw = v^kQQQΣΣ\SigmaΣ={a,b}Σ={a,b}\Sigma = \{ a,b \} 모든 언어 및 에 대해 또는 인 경우 언어 이 소수 입니다.LLLAAABBBL=A⋅BL=A⋅BL = A \cdot BA={ϵ}A={ϵ}A …
2
양방향 결정론 카운터 오토마타에 의해 인식되는 단항 언어
2dca (양방향 결정적 1 카운터 오토마타) (Petersen, 1994) 는 다음 단항 언어를 인식 할 수 있습니다. POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} 2dca에 의해 인식되는 다른 사소한 단항 언어가 있습니까? 2dca가 인식 할 수 있는지 여부는 여전히 알 수 없습니다 .SQUARE={0n2∣n≥0}SQUARE={0n2∣n≥0} \mathtt{SQUARE} = \lbrace 0^{n^2} …
1
DFA에 대한 최소 NFA 계산
몇 년 전 DFA (결정 론적)에서 최소 NFA (비결정론 적 유한 오토 마톤)를 계산하는 것은 수십 년 동안 알려져 왔으며 효율적인 알고리즘. 누구든지 알고리즘을 생각해 냈습니까?O ( n lgn )영형(엔lg⁡엔)O(n \lg n) 빠른 검색을 통해이 논문은 확실히 어려운 문제임을 증명해 주었다. 분명히 알고리즘은 제공되지 않습니다. [1] 최소 NFA 문제는 어려움 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.