Pangram checker: Difference between revisions

Content added Content deleted
(→‎In one regex: HTML escaping.)
(→‎{{header|TXR}}: Stray text removed.)
Line 1,289: Line 1,289:
[ctrl-D]
[ctrl-D]
not pangram. :(</pre>
not pangram. :(</pre>

Txr has two regex engines and compilers. This type of regex is handled by derivatives, which means doing symbolic computing on an abstract syntax representation of the regex. This generates garbage as it goes. Only a single additional call to the OS to get 4096 bytes of memory is made while matching the regex, as shown the <code>strace</code> output below. The derivative method does not run into any combinatorial explosion of memory.


=={{header|TUSCRIPT}}==
=={{header|TUSCRIPT}}==