이 논문은 문맥 포함 문제를 해결하기 위한 통일된 접근법을 제시한다. 이 접근법은 최소 고정점 특성화와 단어 비교를 위한 준순서 관계를 활용한다. 이를 통해 "더 작은" 언어의 단어들을 유한한 수의 멤버십 질의로 줄일 수 있다.
구체적으로, 논문은 문맥 자유 언어를 정규 언어에 포함하는 문제에 대해 자세히 다룬다. 이를 위해 다양한 준순서 관계를 제시하고, 상태 기반 준순서를 활용한 알고리즘의 세부 사항을 설명한다.
또한 논문은 다른 언어 클래스에 대한 포함 문제에도 이 접근법을 적용할 수 있음을 보인다. 유한 상태 자동기, Petri 넷 추적, 무한 단어 언어 등의 경우를 다룬다.
전반적으로 이 논문은 언어 포함 문제를 해결하기 위한 통일된 프레임워크를 제시하고, 다양한 사례에 적용할 수 있음을 보여준다.
To Another Language
from source content
arxiv.org
Ключові висновки, отримані з
by Kyveli Dover... о arxiv.org 04-16-2024
https://arxiv.org/pdf/2404.09862.pdfГлибші Запити