Mona Vertaalt formules naar Finite-State Automata
Download nu

Mona Rangschikking & Samenvatting

Mona Tags

formule vertalen automaat formule vertalen Formule Vertaler formule to automata

Mona Beschrijving

Vertaalt formules naar Finite-State Automata Mona is een open source en gratis tool waarmee je formules naar eindige staatsautomaata kunt vertalen. De formules kunnen zoekpatronen, temporele eigenschappen van reactieve systemen, parse boombeperkingen, enz. Mona analyseert de automaat die het gevolg is van de compilatie en afdrukken "geldig" of een tegenvoorbeeld. Mona implementeert besluitvormingsprocedures voor de zwakke tweedelige theorie van een of twee opvolgers (WS1S / WS2S). De theorie van één opvolger, bekend als WS1S, is een fragment van rekenkundig aangevuld met tweedewaardige kwantificering via eindige sets van natuurlijke nummers. De eerste bestelvoorwaarden duiden alleen maar natuurlijke aantallen aan. De theorie heeft geen toevoeging, omdat dat het onbeslisbaar zou maken, maar het heeft een unary-operatie +1, bekend als de opvolgerfunctie. WS2S is een generalisatie aan boomstructuren. Omdat de theorieën monadische tweede-orde logica zijn, noemen we onze tool Mona. Wat is er nieuw in deze release: · Vaste bug in Basic Automaton voor X = Y + 1% Z

Mona Gerelateerde software