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

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

1
언어 클래스 계층 구조, 폐쇄 속성 등을 설명하는 서적 / 설문지가 있습니까?
현재 정규 언어 이상이지만 컨텍스트가없는 언어 클래스가 포함 된 일부 공식 언어 연구를하고 있습니다. 리버스 바운드 멀티 카운터 머신, 단일 스택 카운터 머신, 결정적 CFL 등을보고 있습니다. 이 언어의 속성을 설명하는 좋은 책이나 설문지를 아는 사람이 있는지 궁금합니다. 내가보고있는 대부분의 내용은 Hopcroft-Ullman 서적 (1979 년판)에 속하기에는 너무 모호하거나 너무 새롭습니다. …
3
언어의 유한 한 관점을 만족시키는 최소 DFA
언어 가 있지만 실제로 어떤 문자열이 언어의 일부인지 모릅니다. 보유 모두 한 언어의 유한이다 : 문자열 유한 집합 ⊆ L 언어로 알려져 있으며, 문자열의 유한 세트 B ⊆ ( Σ * ∖ L ) 에 있지 알려져있다 언어.L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^*A⊆LA⊆LA \subseteq LB⊆(Σ∗∖L)B⊆(Σ∗∖L)B \subseteq (\Sigma^* \setminus L) 예를 들어, 내가 가지고 …
3
외부의 "간단한"언어
다음 속성을 가진 언어 L을 찾고 있습니다. L은 문맥이 없어야합니다. L의 보수는 문맥이 없어야합니다. (문맥에서 비 문맥이없는 언어의 주요 사례로 보는 것은이 두 번째 요구 사항을 충족시키지 못하는 것 같습니다.) L은 너무 어렵지 않아야합니다. 예를 들어, 결정 불가능한 언어가 처음 두 가지 요구 사항에 맞다는 것을 알고 있지만, 내가 원하는 …
2
사후 대응 문제 변형
이것은 아마도 매우 간단하지만 표준 포스트 통신 문제를 고려하십시오. 감안 및 , 인덱스의 시퀀스를 찾아 되도록 . 물론 이것은 결정 불가능합니다.β 1 , … , β N i 1 , … , i K α i 1 ⋯ α i K = β i 1 ⋯ β i Kα1, …
1
고유 키가있는 XML 및 JSON은 어떤 공식 언어 클래스입니까?
id가 응답이없는 stackoverflow 에서이 질문을 옮겼습니다 . JSON이 규칙적인지 비슷한 질문이있었습니다 . JSON과 XML은 모두 문맥이없는 언어라고 불리우며 주로 EBNF의 공식 문법으로 지정됩니다. 그러나 이것은 RFC 4329, 섹션 2.2에 정의 된 JSON의 경우에만 해당되며 , 객체 키의 고유성을 요구하지 않습니다 (많은 사람은 모르지만 { "a": 1, "a": 2}는 유효한 JSON입니다!). …
2
주어진 정규 언어에 무한 접두사가없는 부분 집합이 있습니까?
유한 알파벳 위의 단어 세트는 하나가 다른 하나의 접두사 인 두 개의 다른 단어가없는 경우 접두사 가 없습니다. 질문은 ~이야: NFA로 지정된 일반 언어에 무한 접두사가없는 하위 집합이 포함되어 있는지 확인하는 것이 복잡합니까? 답 (아래의 Mikhail Rudoy로 인해) : 다항식으로 할 수 있으며 NL에서도 생각합니다. Mikhail의 답을 해석하면 (Σ,q0,F,δ)(Σ,q0,F,δ)(\Sigma,q_0,F,\delta) 정상적인 …
1
과 같은 함수
하자 언어 될 F : Σ ⋆ × Σ ⋆ → Σ ⋆ 속성 두 파라미터의 함수 모두를위한 X 및 Y , F 의 복귀 원소 L 경우에만, 두 X 및 Y는 의 요소 L :엘엘L에프: Σ⋆× Σ⋆→ Σ⋆에프:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\star엑스엑스x와이와이y에프에프f엘엘L엑스엑스x와이와이y엘엘L 에프( x , y) ∈ L⟺x ∈ L ∧ y∈ …
1
끈 동질의 존재를 결정
다음 문제를 고려하십시오. 두 개의 스트링 x, y가 주어지면, f (x) = y와 같은 스트링 동형이 존재하는지 여부를 결정하십시오. 이 문제가 에 있음을 쉽게 알 수 있습니다. 이 문제에 관해 우리가 말할 수있는 다른 것들이 있습니까? 예를 들어 또는 있습니까?NPNPNPcoNPcoNPcoNPPPP 이 문제는 매우 자연스러워 보이므로 철저히 연구해도 놀라지 않습니다. 그러나 …
3
규칙적이고 문맥이없는 언어의 모호함
다음 주장이 사실임을 이해합니다. 주어진 CFG에서 문자열의 두 가지 별개의 파생은 때때로 동일한 구문 분석 트리를 문자열에 부여 할 수 있습니다. 다른 구문 분석 트리를 나타내는 특정 CFG에 일부 문자열의 파생이 있으면 CFG가 모호합니다. 모호한 CFG에 의해 생성 된 일부 컨텍스트가없는 언어도 모호하지 않은 CFG에 의해 생성됩니다. 어떤 언어들은 그것들을 …
2
에서
편집 (Tara B에 의해) : 나는 내 자신의 논문에 대해 스스로 그것을 증명해야했기 때문에 여전히 이것에 대한 증거 에 대한 참조 에 관심 이 있습니다. 이 백서에 나오는 정리 4의 증거를 찾고 있습니다. Liu와 Weiner 의 문맥이없는 언어의 교차로의 무한 계층 . 정리 4 차원 아핀 매니 치수이며, 각각의 매니 …
1
DFA 크기의 함수로서 일반 언어의 동등성 클래스 수
이 질문은 관련이 최근 문제 로 Janoma . 배경 제약 프로그래밍에있어서, 일반 글로벌 제약 도메인을 통해 한 쌍 과 변수 튜플 (범위) 및 도메인 위에 DFA . 과제 에 만족 경우 문자열을 수락 .cccDDD(s,M)(s,M)(s, M)sssMMMDDDθθ\thetassscccMMMθ(s1)θ(s2)…θ(sn)θ(s1)θ(s2)…θ(sn)\theta(s_1)\theta(s_2)\ldots\theta(s_n) 아래에서는 도메인 가 고정되어 있다고 가정합니다 . 모든 DFA 대해 또는 경우 가 되도록 문자열 …
2
CFL 평등의 결정 가능성
다음과 같은 문제를 결정할 수 있습니다. 문맥이없는 문법을 감안할 때 지지G 이며, L ( G ) = ∅엘(지)=∅L(G) = \varnothing ? 다음과 같은 문제는 결정할 수 없습니다. 문맥이없는 문법 주어 졌을 때 지지G, L ( G ) = A※엘(지)=ㅏ※L(G) = A^{\ast} ? 결정 가능한 동등성 L ( G ) = …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.