как превратить DVI в текс? - PullRequest
       40

как превратить DVI в текс?

5 голосов
/ 25 октября 2009

Есть идеи, как взять файлы DVI и превратить их в текс?

Ответы [ 7 ]

10 голосов
/ 26 октября 2009

Это похоже на проблему превращения PDF в XML, которая называется «попытка превратить гамбургер обратно в корову». Как TeX-> DVI, так и XML-> PDF теряют информацию, как в структуре документа, так и в его семантике.

Требуется большая эвристика и большой корпус, чтобы воссоздать (частично) исходный документ. Обычно это никогда не 100%. Текстовые строки могут быть возможны, векторы сложнее. Растровые изображения практически невозможны.

4 голосов
/ 26 октября 2009

Также есть catdvi , dvitype и dvi2tty, доступные из ctan .

4 голосов
/ 25 октября 2009

То, что вы спрашиваете, невозможно. Я думаю, что (как и в PostScript) даже распознавание слов в файлах DVI может потребовать эвристики. Файл DVI - это описание того, где на листе бумаги размещать отдельные буквы, и ничего более.

Вы можете получить частично там либо dvi2tty, либо запустив dvips, а затем ps2ascii, в зависимости от того, что даст наилучшие результаты.

2 голосов
/ 12 ноября 2009

, для кого когда-либо снова найдет этот вопрос, или для всех вас, кто ответил, я нашел лучший ответ для меня: то, что я искал, это то, насколько действительно сложно, он пытается выяснить, что может быть оригинальным текстом, который будет компилироваться в данный DVI (или PDF в этом отношении, поскольку я могу легко превратить DVI в PDF). и InftyReader делает это. Это работает префект, я попробовал кучу PDF-файлов на нем, а затем преобразовал их в PDF-файлы, и это было прекрасно!

2 голосов
/ 25 октября 2009

Я почти уверен, что это невозможно. DVI содержит информацию о рендеринге страницы, а не о том, какие текстовые команды она имеет.

0 голосов
/ 07 декабря 2009

Э-э, ну, вроде как.

Путь наименьшего сопротивления будет, я думаю, преобразователем dvi-> rtf. Я отправил вопрос: Q # 1859373 dvi2rtf: кто может конвертировать файлы DVI в RTF . И там я публикую непроверенную реализацию, которая дает плохое решение, которое отбрасывает все форматирование.

С такой вещью вы могли бы использовать word2007 / 8 и отличную утилиту docx2tex, чтобы превратить rtf в tex.

Результаты было бы неприятно читать, но я вижу некоторые варианты использования для этого.

0 голосов
/ 26 октября 2009

Чтение Описание формата файла DVI и запись программы. Результатом вашей программы не будет оригинальный текст, но он подойдет.

Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...