Re: What is a pragma?

Bethan Tovey-Walsh writes:

>> One snag in the rule suggested: if a pragma should not change the set of
>> sentences recognized by a grammar, then doesn't a pragma meaning "reject
>> input of length greater than n characters" fall on the wrong side of the
>> line?  Unless the grammar would in any case reject all such sentences,
>> in which case why the pragma?
>
> When I wrote that suggestion, my idea was that one might know that
> only a string of a certain length could match. ...
>
> Of course, such a pragma could also be used as you outlined, to add
> additional constraints to the grammar. That would be non-conforming
> behaviour, which is not to say that it couldn’t be useful or
> reasonable in some contexts.

Thank you for the answer.

-- 
C. M. Sperberg-McQueen
Black Mesa Technologies LLC
http://blackmesatech.com

Received on Sunday, 30 January 2022 16:37:18 UTC