Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.compilers > #2410 > unrolled thread

Re: How make multifinished DFA for merged regexps?

Back to article view | Back to comp.compilers

Contents

  Re: How make multifinished DFA for merged regexps? Christopher F Clark <christopher.f.clark@compiler-resources.com> - 2019-12-24 04:42 -0500

#2410 — Re: How make multifinished DFA for merged regexps?

Hans-Peter Diettrich <DrDiettrich1@netscape.net> wrote:

> Why should "123." not form a valid float number? In fact it's the C way
> to force a possibly int number into a float.

This is actually a good point.  If you are defining a language (rather
than simply implementing a standard language that is already well
specified), your tokens should not generally have subsets that are
errors.  Thus, if 123.0 is a float, then 1 12 123 and 123. should all
be legal tokens, or if they are errors specific "error" tokens as in
"123." -> errorMissingDigitsAfterDot

If you do that, you can have only 1 character lookahead and no
complicated backtracking.

So, after you generate your lexer, you should look at all error states
(or error transitions) depending on how your FSA implements errors and
determine whether you should change your token definitions to cover
those cases, either by generalizing some token definition so that the
error is legal or defining an error token to cover that case or as I
suggested previously, make a rule that matches that case to two (or
more) tokens.  There may be cases where you do nothing and just leave
the FSA as is, but you should do so consciously, by making choices.

--
******************************************************************************
Chris Clark                  email: christopher.f.clark@compiler-resources.com
Compiler Resources, Inc.  Web Site: http://world.std.com/~compres
23 Bailey Rd                 voice: (508) 435-5016
Berlin, MA  01503 USA      twitter: @intel_chris

[toc] | [standalone]

Back to top | Article view | comp.compilers

csiph-web