abstract machine

theoretical model of a computer hardware or software system used in automata theory

زمرے: