    ISentence 1: Who provided a° definition, of: linear bounded  huromiata in 1960?    lSentence 2: Earlier papiers studying problems solvable by  juting: machines with, specific. bounded resources: include!  Jiohn Myhill’s definitisn of Jinear bourided automata (Mytill  1960), Rayniond ,Smuliyan’s study of rudimentary sets  figi61), as. well as, Hisao Yamada's paper. pn “real-time  |comiputatioris (1962).