Предположим, у меня есть класс Java A, который я хочу декомпилировать с помощью JD-GUI. После исправления незначительных проблем компиляции (литье и инициализация локальной переменной) я скомпилировал декомпилированный код как класс B.java decompiler JD-Gui correctness
Как гарантируется, что класс A и класс B одинаковы?
Так что это сводится к тому, ... неразрешимости: D
Вопрос 2 Тьюринга языки (читайте программы) производят ли один и тот же вывод дал тот же вход неразрешим. (т. е. нет эффективных алгоритмов для проверки этого)
Вы можете ограничить вводные слова/выходные слова и просто переборщить свой путь, но в целом эта проблема NP-полная для алгоритмов P-класса.
Если вы хотите получить гарантию, попробуйте решить проблему с P = NP или составите каждый вход, который он мог бы получить, как скомпилируйте их, так и посмотрите, что выкатывает. Или просто прочитайте код и убедитесь сами.
Это почти все для гарантий
Хороший ответ на то, что я думал, был безответным вопросом. –