3,236 followers Ryoma Sin'ya @sinya8282 The “last” decision problem for rational trace languages https://t.co/9pG8nymW6v お,Sakarovitch先生. 19 Dec 2015 Reply Repost Favourite