Konstrukce experimentu potvrzující ekvivalenci konečně-stavových automatů

Abstract

Tento dokument obsahuje přehled testovacích metod konečně-stavových automatů. Testovací metoda kontroluje zda se nějaký automat shoduje s daným automatem. Nová metoda je představena a následně experimentálně prokázána, že je korektní testovací metodou. Dokument dále obsahuje klasifikaci konečně-stavových automatů, algoritmy konstruující separující sekvence a nový přístup kontrolování, zda je metoda korektní testovací metodou. Separující sekvence rozlišuje dva stavy automatu, se kterými souvisí.

This document is an overview of testing methods of finite-state machines. Testing methods verifies whether a machine coincides with given one. A new method is proposed and it is demonstrated to be correct testing method of finite-state machines experimentally. The document further comprises classification of finite-state machines, algorithms for creating separating sequences and a new approach to checking testing methods to be correct. A separating sequence relates to a pair of states. Such two states are distinguished by the separating sequence.