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....

W pracy zostały przedstawione aplikacyjne możliwości metody mobilnych pomiarów satelitarnych w projektowaniu i eksploatacji dróg szynowych. Pokazano wizualizację położenia toru kolejowego, omówiono sposoby oceny odcinków prostych toru i odcinków położonych w łuku oraz tworzenie poligonu kierunków głównych trasy. Szczególną uwagę poświęcono opracowanej analitycznej metodzie projektowania, omawiając jej algorytmy obliczeniowe: projektowania...