abstract state machine

state machine operating on states that are arbitrary data structures

en-GB/əbˈstɹækt ˈsteɪt məˈʃiːn/
en-US/ˈæbˌstɹæktn ˈsteɪt məˈʃin/

زمرے:

finite-state machine