спасибо, за конвертер помогли, но по коду этой программы нельзя доказать, что он переводит правильно, существуют ли какие то правила верификации, чтобы доказать , то конвертер работает правильно ?
это ваша программа ? , вы можете как-нибудь доказать, что она конвертирует правильно?