/* File: sp_1.fsc Date and Time: Sat Jan 31 11:58:53 2015 */ transitive n grammar-name "sp_1" name-space "NS_sp_1" thread-name "Csp_1" monolithic y file-name "sp_1.fsc" no-of-T 569 list-of-native-first-set-terminals 1 raw_a end-list-of-native-first-set-terminals list-of-transitive-threads 0 end-list-of-transitive-threads list-of-used-threads 0 end-list-of-used-threads fsm-comments "Test out Spector LR(1) resolution from page 64."