Die Arbeit führt zunächst rationale Lasso-Ausdrücke und -Sprachen ein und zeigt, dass jede rationale Lasso-Sprache regulär ist. Dafür wird eine Brzozowski-Konstruktion für Lasso-Automaten präsentiert. Anschließend wird gezeigt, dass jede reguläre Lasso-Sprache auch rational ist. Darauf aufbauend wird der Zusammenhang zwischen rationalen Lasso- und ω-Ausdrücken untersucht, was schließlich zu einem Kleene-Theorem für ω-Sprachen in Bezug auf gesättigte Lasso-Automaten führt.
เป็นภาษาอื่น
จากเนื้อหาต้นฉบับ
arxiv.org
ข้อมูลเชิงลึกที่สำคัญจาก
by Mike Cruchte... ที่ arxiv.org 03-13-2024
https://arxiv.org/pdf/2402.13085.pdfสอบถามเพิ่มเติม