Introduction to asynchronous sequential machine