It's funny, I never associated formal languages as part of the theory of computation. We only learnt about them from the perspective of automata/state machine theory
I mean... Depends what you mean by 100% free firmware... If you mean only the boot firmware, that's the case for PCs like the ThinkPads T400, T500, R500, W500, X200, as well as the Dell Latitude E6400. Note Libreboot even recommends the latter for new full libre buys, as it can be software-flashed without disassembly.
But if you mean 100% free including EC firmware, wireless firmware, and disk firmware, then this will probably never happen, or at least not until a very very long time.
But then again, is it Linux' fault that publishers refuse to make Linux versions of their games, requiring the users to use hacks to make windows executables work on Linux ?
Quick note, just to be a pedantic arsehole: conjugation is specific to verbs. The general term is declension, which includes conjugation, but more broadly refers to the changing of a word depending on its semantical context
I don't know what you did to your cat, but Imgur is telling me the picture “may contain erotic or adult imagery.”