GitHub repository: mafrasi2/infdet
Primary language: Python
Created: 2019-10-26T21:52:15Z
Description: Determinization of transducers on infinite words