Wstępujący, deterministyczny, skończony automat drzewiasty (DTA) może być używany jako struktura danych do przechowywania zbiorów nieuporządkowanych drzew bez narzuconej liczby poddrzew. Takie automaty są zwykle rzadsze niż automaty działające na napisach i dlatego należy zwrócić szczególną uwagę na ich wydajną minimalizację. W dostępnej literaturze jest jednak ciężko znaleźć proste i szczegółowe opisy procedury minimalizacji. Opisujemy tutaj prostą realizację standardowego algorytmu minimalizacji, który wykonuje się w czasie o(|A|^2), gdzie |A| oznacza rozmiar automatu.
Authors
- Rafael Carrasco,
- dr hab. inż. Jan Daciuk link open in new tab ,
- Mikel Forcada
Additional information
- Category
- Publikacja monograficzna
- Type
- rozdział, artykuł w książce - dziele zbiorowym /podręczniku w języku o zasięgu międzynarodowym
- Language
- angielski
- Publication year
- 2007
