«automata» 태그된 질문

기호로 입력 스트림 기호를 읽고 상태 전이 맵을 사용하여 출력 스트림을 생성하는 수학 장치에 대한 질문, 아마도 보조 스토리지를 사용합니다.

1
결정 론적 및 비 결정적 최소 힙 오토마타의 계산 능력
이것은의 후속 질문 이 하나 . 이국적인 상태 머신 에 대한 이전 질문 에서 Alex ten Brink와 Raphael은 고유 한 상태 머신의 계산 기능 : 최소 힙 오토마타를 다루었습니다. 그들은 그러한 기계들 ( )에 의해 받아 들여진 언어 세트가 컨텍스트가없는 언어 세트의 서브 세트도 아니고 수퍼 세트도 아니라는 것을 보여줄 …
2
빈 문자열의 λ 원점은 무엇입니까?
나는 보통 빈 문자열 (빈 단어 또는 null 문자열)에 기호를 사용합니다 . 그러나 일부 사람들 은 ε 대신 λ 를 사용 한다는 것을 알고 있습니다 .εε\varepsilonλλ\lambdaεε\varepsilon 은 "빈"이라는 단어에서 파생 된 것 같습니다 . 그러나 나는 λ 의 기원이 무엇인지 모른다 .εε\varepsilonλλ\lambda 오토마타 이론에는 오토마타의 엡실론 전이가 있으며 람다 전이라고도합니다. …
4
푸시 오토 마톤 "추측"-그게 무슨 뜻입니까?
나는 비결정론 적 푸시 다운 오토마타가 몇몇 주 중에서 "선택"할 수 있고 결정 론적 푸시 다운으로 받아 들일 수없는 문맥이없는 언어가 있기 때문에 결정 론적 푸시 다운에 비해 개선 될 수 있다는 것을 알고 있습니다. 아직도, 나는 그들이 어떻게 정확하게 "선택" 하는지 이해하지 못한다 . 예를 들어 palindormes의 경우, 내가 …
3
Kleene star 운영자가 Kleene 'closure'운영자라고도하는 이유는 무엇입니까?
CSS / 프로그래밍 용어의 어원을 이해하지 못하면 일반적으로 중요한 기본 개념을 놓치거나 오해했음을 의미합니다. 나는 Kleene 스타가 Kleene 클로저라고도하는 이유를 이해하지 못합니다. 바인딩되지 않은 로컬 변수가있는 함수 인 프로그래밍의 클로저와 관련이 있습니까? ... 반성에 대해서는 아마도 개방형 집합을 닫힌 표현 형식으로 쓸 수 있기 때문일 수 있습니다. ... 오래된 고무 …
1
인형을위한 Monadic 2 차 로직
저는 오토마타에 관심이 있지만 논리에는 관심이없는 프로그래머입니다. 나는 두 사람이 매우 밀접하게 관련되어 있다는 논문을 읽었습니다. DFA (Deterministic Finite Automata), Tree Automata 및 Visibly Pushdown Automata는 모두 모나 딕 2 차 로직 (MSO)과 관련이 있습니다. 비록 오토마타와 사람들이 (서류에서) MSO와의 관계를 설명하려고 노력했지만, 그들은 항상 논리에 대한 강력한 배경과 MSO에 …
2
컴퓨터 과학의 맥락에서“생산”이라는 단어는 어떻게“규칙”이라는 단어와 동의어가 되었습니까?
나는 공식 언어와 생산 기반 시스템 (규칙 기반 시스템)을 공부하고 있는데 왜이 두 단어 "생산"과 "규칙"이 컴퓨터 과학의 많은 맥락에서 같은 의미를 갖는지에 대해 약간 혼란스러워합니다. 영어로 그들은 같은 것을 의미하지 않는 것 같습니다. 나는 영어를 모국어로 사용하는 사람은 아니지만, 규칙은 사람들에 대해 이야기 할 때하지 말아야 할 일이나하지 말아야 …
1
가능한 두 NPDA의 교차점 계산
두 NPDA의 교차로에 대한 라파엘의 제안에 대한 아프로 포이즈 : 하자 1 및 이 문맥 - 자유 언어 NPDA을 L 1 과 L 이 각각. L = L 1 ∩ L 2 가 문맥이 없다는 것을 알고 있다고 가정하면 , L에 대해 NPDA A 를 (효과적으로) 구성 할 수 있습니까?ㅏ1A1A_1ㅏ2A2A_2엘1L1L_1엘2L2L_2L …
3
LBA에서 중지 문제를 결정할 수있는 이유는 무엇입니까?
나는 Wikipedia 와 다른 텍스트를 읽었습니다. 정지 문제는 [...] LBA ( linear bounded automata ) [및] 유한 메모리를 가진 결정 성있는 머신에 대해 결정 가능합니다. 그러나 이전에는 정지 문제가 결정 불가능한 문제이므로 TM이 해결할 수 없다고 기록되었습니다! LBA는 TM의 유형으로 정의되므로 동일하지 않아야합니까?
4
그룹 이론 및 공식 언어에 대한 교량 정리
수학 그룹 과 CS 공식 언어 또는 튜링 머신과 같은 다른 핵심 CS 개념 을 연관 시키거나 연결하는 자연 스럽거나 주목할만한 방법이 있습니까? 참조 / 응용 프로그램을 찾고 있습니다. 그러나 세미 그룹과 CS 언어 사이의 링크를 알고 있습니다 (즉, 유한 automata 통해 ). (반 자동화에 대한이 문헌은 "그룹-자동화"를 본 적이 …
1
오토마타에서 정규 표현식과 문법의 차이점
나는 오토마타를 처음 접했고 어제 정규 표현식에 대해 간략하게 소개 받았습니다. 정규식을 정의하는 다양한 규칙을 읽었습니다. 그러나 나는 정규 표현과 언어의 문법을 구별 할 수 없습니다 (정규 표현에 대한 문법을 ​​배우지 못했습니다). 문법은 언어로 유효한 문자열을 생성하는 데 도움이된다는 것을 이해하지만 이것이 정규 표현식 상태를 정의하는 규칙입니다. 차이점은 어디에 있습니까? …
3
NFA를 사용하지 않고 정규식에서 DFA를 만드는 방법은 무엇입니까?
목표는 정규식에서 DFA를 작성하는 것이며 "정규 exp> NFA> DFA 변환"을 사용하는 것은 옵션이 아닙니다. 어떻게해야합니까? 나는이 질문을 교수에게 물었지만 그는 우리가 직관을 사용할 수 있다고 말했고 친절하게 설명을 거부했다. 그래서 물어보고 싶었습니다. "정규 exp> NFA> DFA 변환"은 이러한 변환이 다소 복잡한 정규식을 변환하는 데 많은 시간이 걸리기 때문에 옵션이 아닙니다. …
3
NFA는 엡실론 전환을 어떻게 사용합니까?
아래 그림에서이 NFA가 정확히 무엇을 받아들이고 있는지 파악하려고합니다. 나를 혼란스럽게하는 것은 q 0 에서 의 점프 입니다.ϵϵ\epsilonq0q0q_0 경우 을 입력, 모두 시스템 이동하지 Q 0 및 Q 1 (상태를 동의)을?000q0q0q_0 q1q1q_1 경우 입력, 모두 시스템 이동하지 Q 1 과 Q 2를 ?111q1q1q_1q2q2q_2 입력 이 없으면 (빈 문자열) 시스템이 (상태 수락) …
2
쓰기 방지 입력이있는 단일 테이프 튜링 기계는 일반 언어 만 인식합니다
여기 문제가 있습니다 : 입력 문자열이 포함 된 테이프 부분에 쓸 수없는 단일 테이프 Turing Machine은 일반 언어 만 인식한다는 것을 증명하십시오. 내 생각은이 특정 TM이 DFA와 동등하다는 것을 증명하는 것입니다. 이 TM을 사용하여 DFA를 시뮬레이션하는 것은 매우 간단합니다. 그러나이 DFA를 사용하여 TM을 시뮬레이션하려고 할 때 문제가 발생합니다. TM 전이 …
3
NFA가 다른 NFA의 하위 집합을 허용하는지에 대한 효율적인 테스트가 있습니까?
따라서 정규 언어 이 정규 언어 의 하위 집합 인지 테스트하는 것은 결정 가능합니다. 두 언어를 모두 DFA로 변환하고 계산 한 다음이 언어가 비어 있는지 테스트 할 수 있기 때문입니다.S R ∩ ˉ SRRRSSSR∩S¯R∩S¯R \cap \bar{S} 그러나이를 위해서는 DFA로 변환해야하므로 입력 NFA의 상태 수에 따라 DFA 및 테스트 알고리즘이 기하 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.