Comment by DanielHB

Pattern matching machines seems more appropriate.