A computer processor is preceded by a queue that can accommodate one job only, so that the total capacity of this system is two jobs. Two different job types request service from the processor, and type 1 has higher priority than type 2. Thus, if a type 1 job arrives and finds a type 2 job in service, it preempts it; the type 2 job is returned to the queue and the type 1 job receives service. If any job arrives and finds the system full, it is rejected and lost. Build an automaton model of this system.