CMSimulator

เครื่องจำลองสำหรับเครื่องนับและไวยากรณ์อย่างเป็นทางการ

แอพพลิเคชั่น CMSimulator ช่วยให้คุณเข้าใจเครื่องเคาน์เตอร์ที่เป็นที่รู้จักมากที่สุดสี่เครื่อง - Finite State Automaton, Pushdown Automaton, Linear Bounded Automaton, Turing machine คุณสามารถสร้างใหม่หรือโหลดโซลูชันที่มีอยู่จากไฟล์ แอปพลิเคชันยังมีตัวอย่าง (สำหรับเครื่องแต่ละประเภท)

นอกจากนี้แอปพลิเคชันยังช่วยให้คุณเข้าใจไวยากรณ์สี่ประเภทที่เป็นทางการจากลำดับชั้นของ Chomsky ได้ดีขึ้น - ไวยากรณ์ปกติ, ไวยากรณ์ที่ไม่มีบริบท, ไวยากรณ์ไวต่อบริบท, ไวยากรณ์ไม่ จำกัด คุณสามารถสร้างใหม่หรือโหลดโซลูชันที่มีอยู่จากไฟล์ แอปพลิเคชันยังมีตัวอย่าง

คุณสามารถสร้างรายการสัญลักษณ์รัฐกฎการเปลี่ยนแปลงและเลือกสถานะเริ่มต้นและขั้นสุดท้ายได้ จากนั้นคุณสามารถเติมเทปและจำลองการแก้ปัญหาทีละขั้นตอนหรือไปที่จุดสิ้นสุดของการจำลอง คุณยังสามารถทำเครื่องหมายองค์ประกอบเทปใด ๆ ที่เป็นเบรกพอยต์เพื่อหยุดการจำลองเมื่อเครื่องถึงจุดพักนี้

สนับสนุนเครื่องจักรและโซลูชัน Nondeterministic

คุณสามารถกำหนดไวยากรณ์ของคุณเองทดสอบคำศัพท์หากเป็นของไวยากรณ์ที่กำหนดและแสดงภาพกระบวนการที่ได้มาด้วยการสร้างภาพข้อมูลที่แตกต่างกัน 4 ประเภท - ตาราง Derivation, ต้นไม้ Derivation, Linear Derivation, Fixed derivation แอปพลิเคชั่นนี้ยังมีคุณสมบัติการโต้ตอบซึ่งคุณสามารถทดสอบหลาย ๆ คำพร้อมกันได้

แอปพลิเคชันยังอยู่ในการพัฒนา กรุณาแจ้งให้เราทราบหากคุณพบข้อบกพร่องใด ๆ