«regular-language» 태그된 질문

정규식 (Kleene의 의미로)으로 표현 될 수있는 공식 언어 또는 유한 오토마타가 수용 할 수있는 언어에 대한 질문.

1
비이성적 오토마타 및 언어의 합리적 계층 구조 인 Eilenberg의 현재 위치는 어디입니까?
그의 영향력있는 저서 인 Automata, Languages ​​and Machines (볼륨 A, B)의 서문에서 Samuel Eilenberg는 볼륨 C와 D가 "비이성적 현상의 계층 구조 (합리적 계층 구조라고 함)를 다루는 것을 합리적으로 약속했습니다. 합리적 세트는이 계층 구조의 맨 아래에있다 위로 올라가면 '대수 현상'이 생겨나 고, 이는 "Chomsky의 문맥이없는 문법과 문맥이없는 언어 및 여러 관련 …
1
왜 일반 언어가“일반”이라고합니까?
왜 정규 언어 (및 정규 표현식)가 "정규"라고 불리는가? 문맥이없는 언어에는 다른 유형의 언어에도 규칙 성 이 많이 있습니다. 처음에는 형용사 "정규"가 다른 "비정규"또는 다른 언어와 다른 유형의 언어를 구별하는 데 사용되었다고 가정합니다. 그렇다면 이러한 다른 유형은 무엇이며 비 규칙 성은 무엇입니까?
1
크기의 나무의 평균 높이 가 또는 가 아닌 일반 트리 언어가 있습니까?
우리는 TATA 책에서와 같이 규칙적인 트리 언어 를 정의합니다 . 그것은 비결정론 적 유한 트리 오토 마톤 (1 장)에 의해 허용되는 나무들의 집합입니다. 두 형식주의는 잘 알려진 끈 유사체와 유사하다. 크기의 나무의 평균 높이 가 또는 가 아닌 일반 트리 언어가 있습니까?Θ ( n ) Θ ( √nnnΘ(n)Θ(n)\Theta(n)Θ(n−−√)Θ(n)\Theta(\sqrt{n}) 분명히 나무의 …
4
정규 문법에서 허용되는 단어 개수
정규 언어 (NFA, DFA, 문법 또는 정규식)가 주어지면 주어진 언어에서 허용되는 단어 수를 어떻게 계산할 수 있습니까? "정확히 n 개의 문자가있는"및 "최대 n 개의 문자가있는"모두 관심 대상입니다. Margareta Ackerman 은 NFA가 받아들이는 단어를 열거하는 관련 주제에 관한 두 가지 논문을 가지고 있지만 효율적으로 계산할 수는 없었습니다. 일반 언어의 제한된 특성으로 …
1
이차 시간에 일반 언어의 교차 공허함 결정
하자 NFA 쌍이에 의해 주어진 두 개의 정규 언어가 될 입력으로.M 1 , M 2엘1, L2L1,L2L_1,L_2엠1, M2M1,M2M_1,M_2 인지 확인하고 싶다고 가정하자 . 이것은 의 제품 오토 마톤을 계산하는 2 차 알고리즘으로 명확하게 수행 할 수 있지만 더 효율적인 것이 있는지 궁금합니다.M 1 , M 2엘1∩ L2≠ ∅L1∩L2≠∅L_1\cap L_2\neq \emptyset엠1, M2M1,M2M_1,M_2 …
2
일반 언어로 단어를 달성하기 위해 문자를 예약 할 수 있는지 테스트
내가 해결 정규 언어 L을LL 알파벳에 ΣΣ\Sigma , 그리고 내가 전화하는 다음과 같은 문제를 고려 편지 일정 에 대한 L을LL . 비공식적으로, 입력은 각 문자에 대해 n 개의nn 문자와 간격을 제공하며 (즉, 최소 및 최대 위치) 두 번째 문자가 동일한 위치에 매핑되지 않도록 각 문자를 간격에 배치하는 것이 목표입니다. 결과 …
3
카테고리 이론적 관점에서 일반 언어
알파벳 이상의 일반 언어 는 자연스럽게 포세 및 실제로 격자로 생각할 수 있습니다. 또한 빈 언어 ϵ 와의 연결 은 조인에 대해 분산 적 인이 범주에서 엄격한 일회성 구조를 정의합니다 (만약 확실하지 않습니다). 이것이 정규 언어의 이론이나 실천에 유용한 구성입니까? Kleene 스타를 하나로 정의 할 수있는 좋은 부가 기능이 있습니까?ΣΣ\Sigmaϵϵ\epsilon …
2
과 일반 언어의 관계
하자 모든 일반 언어의 클래스합니다.REGREG\mathsf{REG} 그것은 알려져있다 와 . 그러나 언어에 대한 특성이 있습니까?AC0⊄REGAC0⊄REG\mathsf{AC}^0 \not\subset \mathsf{REG}REG⊄AC0REG⊄AC0\mathsf{REG} \not\subset \mathsf{AC}^0AC0∩REGAC0∩REG\mathsf{AC}^0 \cap \mathsf{REG}
5
특수 언어 클래스 : "원형"언어. 알고 있습니까?
유한 알파벳 시그마에 대해 다음과 같은 "원형"언어 클래스를 정의하십시오. 실제로, 그 이름은 DNA 컴퓨팅 분야에서 사용되는 것으로 보이는 다른 것을 나타내는 것으로 이미 존재합니다. AFAICT, 그것은 다른 종류의 언어입니다. 언어 L은 Σ ∗의 모든 단어 www 에 대해 순환 iff입니다 .Σ∗Σ∗\Sigma^* www모든 정수k>0k>0k > 0 에 대해 가 L에 속하는 …
1
DFA에서 크기가
문제는 간단하고 직접적입니다. 고정 , 크기 n (즉, n 상태) 의 DFA에서 몇 개의 (다른) 언어를 사용할 수 있습니까? 나는 이것을 공식적으로 진술 할 것이다 :엔nn엔nn엔nn DFA를 로 정의하십시오. 여기서 모든 것이 평소와 같으며 δ : Q × Σ → Q 는 (부분적으로) 함수입니다. 때로는 총 함수 만 유효한 것으로 …
2
JSON은 정규 언어입니까?
JSON 사양이 일반 언어를 정의 했는지 궁금합니다 . 충분히 간단 해 보이지만 직접 증명하는 방법을 모르겠습니다. 내가 묻는 이유는 정규 표현식을 사용하여 JSON을 효과적으로 파싱 할 수 있는지 궁금해하기 때문입니다. 담당자가 충분한 사람이 json 및 일반 언어 태그를 작성해 주시겠습니까?
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
일반 언어 클래스를 캡처하는 FO의 최소 확장은 무엇입니까?
맥락 : 논리와 오토마타의 관계 Büchi의 정리에 따르면 문자열에 대한 Monadic 2 차 논리 (MSO)는 일반 언어 클래스를 캡처합니다. 증명은 실제로 문자열을 통해 존재하는 MSO ( 또는 EMSO )가 일반 언어를 캡처하기에 충분 하다는 것을 보여줍니다 . 이것은 일반적인 구조에 비해 MSO 가 ∃ MSO 보다 엄격하게 표현하기 때문에 다소 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.