Optimality Theory implementation based on finite state technology which can derive a winner for any input from an infinite candidate set. Semester project for the course "Loanword Phonology" at the University of Tübingen in the summer semester 2017.