Simple Matrix Languages with a Leftmost Restriction

It is shown that every type 1 language can be generated by an e-free simple matrix grammar (of order 2), if a certain leftmost restriction is imposed on the application of matrices. Dropping the e-free restriction, every type 0 language can be obtained. This strengthens a result previously established for matrix grammars.