109 search results - page 1 / 22 » On minimising automata with errors |
CORR
2011
Springer
12 years 11 months ago
2011
Springer
FSTTCS
2010
Springer
13 years 2 months ago
2010
Springer
In this paper we study the problem of minimising deterministic automata over finite and infinite words. Deterministic finite automata are the simplest devices to recognise regular...
WIA
2007
Springer
13 years 10 months ago
2007
Springer
We improve an existing bisimulation minimisation algorithm for tree automata by introducing backward and forward bisimulations and developing minimisation algorithms for them. Mini...
ICPR
2006
IEEE
14 years 5 months ago
2006
IEEE
CW
2006
IEEE
13 years 10 months ago
2006
IEEE
The geospatial category of simulations is used to show how origin centric techniques can solve a number of accuracy related problems common to 3D computer graphics applications. P...