regex_dotpdf/2 : regex to minimum automaton in PDF

[Kuniaki Mukai]

Hi,

I have added a demo program "regex_dotpdf"/2 to "pac" package 0.5.8.
The progoram translates a regex to an automaton in PDF file.

regex_dotpdf(+Regex, +Path)

regex_dotpdf produces two files <Path>.dot and <Path>.pdf
for a regex <Regex>.

The regex_dotpdf/2 assumes the graphviz command line "dot" installed.

This small demo codes was extracted from a large and messy codes
in my private library using the swi-prolog package

callgraph.

Useful package ! Without the package, this demo program has never come to
my mind. Thanks for the author.

regex_dotpdf/2 program has not been fully verified, it may has bugs,
even serious ones. But as far as various small examples,
it produces the minimum states automaton as I designed.

I will appreciate any feedbacks.

Usage:

% swipl
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.1.23-28-g70f014a)

?- use_module(library(pac)).
true.

?- use_module(library(pac/'pac-demo')).
true.

?- module(pac_demo).
true.

pac_demo: ?- regex_dotpdf("[ab]*", '~/Desktop/demo').
true .

pac_demo: ?-


Kuaniki Mukai


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <https://lists.iai.uni-bonn.de/pipermail/swi-prolog/attachments/20141003/eea2e81a/signature.asc>