I wonder if it would be possible for the government to specify the logic of the tax code in computer readable form. (I would say "source code" but maybe there's

I wonder if it would be possible for the government to specify the logic of the tax code in computer readable form. (I would say "source code" but maybe there's a better way). A company like TurboTax could still exist, but could compete on the basis of their user interface and optimizations.