Robotvisioncad
ROBOTVIONCAD OF KORTE RVCAD is een computer geholpen ontwerp voor beeldverwerking en computervisie. RVCAD's GUI presenteert gebruikers met een weergave waar gebruikers de beeldprocessor-elementen en VIS zijn ...
5.3 MB
 | MonaEen tool die formules vertaalt naar Finite-State Automata |
| Download nu | |
Mona Rangschikking & Samenvatting
Advertentie
- Vergunning:
- GPL
- Naam uitgever:
- BRICS
- Besturingssystemen:
- Windows All
- Bestandsgrootte:
- 904 KB
Mona Tags
- formule Automaat Eindig Cellulaire Automata-kijker cellulaire automaten automaten Automata-synthese Finite State Machines bouwen vertaalt eindige verzamelingen kijker Bekijk eindige sets eindige verzamelingen weergeven Hedge Automata Creator Maak een eindige machine Genereer eindige staatsmachine eindige staatsmachine maker Automata Automatische analyse Finite transformatie spoorlijn automaten Automata Builder Homeomorfism Automata Vertaal formule Automaton Analyzer eindige toestandsautomaten HODGEPODGE CELLULAIR AUTOMATA Cellulaire Automata-simulatie Finite Difference
Mona Beschrijving
MONA is een eenvoudig hulpprogramma dat is gemaakt om u een snelle manier te bieden om formules te vertalen naar de automaten van de eindige staat. De formules kunnen zoekpatronen, temporele eigenschappen van reactieve systemen, parse boombeperkingen, enz. Mona analyseert de automaat die het gevolg is van de compilatie en afdrukt "geldig" of een tegenvoorbeeld.
Mona Gerelateerde software
