5.2 线性混杂自动机