Regular Expression That Checks If A Number Is Prime

Re:Regular Expression That Checks If A Number Is Prime by db48x on Thursday September 08, 2016 @09:32PM (#12459062)

"regular language" is a mathematical term. You can add any features you want to your matcher, but some features allow you to match languages that are not "regular".

However, most programmers are not mathematicians or computer scientists, and so are effectively using lay terminology which is similar to but not precisely the same as the mathematical terminology. Most programmers only care that their regex library allows them to concisely match strings, not that it allows them to match regular languages.

Thus there are two standards you could follow: the precise mathematical definition of "regular", or the lay definition.

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by greydius on Thursday September 08, 2016 @10:56PM (#12459370)

I don't buy the layman argument. Programmers might not be mathematicians or computer scientists, but they should be professionals and held to the same standards as professionals in other fields. For example, a mechanical engineer doesn't use a "laymen" definition of tensile strength when choosing materials for a design.

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by eponeponepon on Friday September 09, 2016 @12:57AM (#12459717)

No, but he probably does use layman's terms when describing molecular lattices and electron shells. If he ever does.

The point here is that users of (colloquial) regular expressions, however professional they are or aren't, are just engaging with the surface of a deeper set of mathematical principles that require greater nuances of meaning to discuss than their applications do.

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by OskarS on Friday September 09, 2016 @10:39AM (#12462637)

I basically agree, but I would say that a slightly deeper understanding of regular expressions is a really useful thing to know for basically all professional programmers. If for no other reason they can recognize the "pathological" cases where backtracking implementations (i.e. almost all modern regex implementations) would need until the heat death of the universe to evaluate.

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by chongli on Friday September 09, 2016 @07:41AM (#12461224)

Programmers might not be mathematicians or computer scientists, but they should be professionals

What? No. Many programmers out there are just working on fun projects in their spare time. I'm sure there exist some aerospace engineers doing that, but it's not many. I don't see why your average bedroom open source programmer should be treated like an aerospace engineer.

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by db48x on Friday September 09, 2016 @12:43AM (#12459679)

Programmers have more freedom from the constraints of reality than mechanical or civil engineers.

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by UlyssesSKrunk on Friday September 09, 2016 @10:39AM (#12462633)

What the fuck are you talking about? Those aren't even remotely the same thing at all.

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by Chinjut on Thursday September 08, 2016 @09:40PM (#12459094)

Right. My point (which may not be a particularly great point, but it was what I was trying to convey) is that the lay definition doesn't have any particular tight borders; presumably different regex libraries are capable of matching different things, use different syntax, etc.

(And this is part of why I find it confusing terminology and would prefer "regular expression" only to mean specifications of regular languages in the original formal sense. But, of course, I'm not the king of language, and it's natural that people would speak the way they speak, given the circumstances.)

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by Retra on Thursday September 08, 2016 @10:21PM (#12459265)

The lay definition isn't a definition, per se, it's a misappropriate of the term. Since the lay user only cares about text matching, the term for what they need is "text matching syntax" or some such thing.

And surely you don't think those implementing the regular expression engine are lay people. They should know better.

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by thaumasiotes on Friday September 09, 2016 @04:31AM (#12460451)

> there are two standards you could follow: the precise mathematical definition of "regular", or the lay definition

Considering this writeup leads with a giant headline saying "Regular Expressions - The Theory"... I think the complaints about how it's not actually a regular expression are even more valid than usual.

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by conistonwater on Thursday September 08, 2016 @09:17PM (#12458996)

I always understood it as being whatever can be straightforwardly tacked onto a typical DFA implementation. I though that's how people came up with it—whichever extras were the easiest to implement without mucking anything else up, so in a way they "came for free". (It's possible I misunderstood, I don't know for sure.)

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by Chinjut on Thursday September 08, 2016 @09:21PM (#12459011)

Well, sure, but "whatever can be straightforwardly tacked on" is highly subjective, no?

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by btilly on Thursday September 08, 2016 @09:26PM (#12459032)

No, it is not.

You can invent a variety of notations to describe a DFA. But you can't change the formal definition of a DFA, or what kinds of things a DFA can match without making it not a DFA.

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by Chinjut on Thursday September 08, 2016 @09:37PM (#12459086)

I'll say to you what I said above, but even moreso: Er... I'm not sure what you're saying here, so I'll clarify what I was saying. What I mean is, we all agree on what DFAs are, and so we all agree on what regular languages in the original, Kleene sense are. But once we start admitting non-regular languages into our notion of "regular expression" because they're "straightforwardly tacked on", it's unclear what the limits are supposed to be.

I'm not actually a fan of using "regular expressions" in a sense broader than that of Kleene's regular, DFA-accepted languages, to be clear. That is exactly what I've been questioning.

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by DasIch on Friday September 09, 2016 @04:25AM (#12460429)

You can actually quite easily add features to regular expressions, that are typically excluded while still being actually regular. Examples would be an `and` or a `not` operator.

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by btilly on Friday September 09, 2016 @04:59PM (#12466003)

What I am saying is that you can come up with a lot of extensions of the basic regular expression language. But there is no subjectivity at all in whether the extensions can be implemented by a DFA. Either you can, or you can't.

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by duaneb on Thursday September 08, 2016 @09:29PM (#12459046)

Not really. A graph is either a valid DFA or it is not. At that point, it's a matter of tooling in terms of "straightforward"ness.

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by Chinjut on Thursday September 08, 2016 @09:36PM (#12459083)

Er... I'm not sure what you're saying here, in that it doesn't seem to be engaging with what I was saying, or trying to say, so I'll clarify what I was saying. What I mean is, we all agree on what DFAs are, and so we all agree on what regular languages in the original, Kleene sense are. But once we start admitting non-regular languages into our notion of "regular expression" because they're "straightforwardly tacked on", it's unclear what the limits are supposed to be.

I'm not actually a fan of using "regular expressions" in a sense broader than that of Kleene's regular, DFA-accepted languages, to be clear. That is exactly what I've been questioning.

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by JoshTriplett on Thursday September 08, 2016 @09:46PM (#12459126)

I think the intent of the parent comments was to say that it's fine to consider a regex a standard "regular expression" in the mathematical sense if it still translates to a DFA and matches a regular language. For instance, mathematical regular expressions typically only include '*' (0 or more), not '+' (1 or more). However, you can still translate a regex including '+' to a DFA. Likewise arbitrary repetition mechanisms like {m,n}, case-insensitivity, and other features that add convenience without actually matching non-regular languages.

On the other hand, backreferences can allow matching non-regular languages.

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by Chinjut on Thursday September 08, 2016 @09:55PM (#12459159)

Ah, yeah, I see now that that is indeed probably what they meant; thanks! In that case, yes, I'm sympathetic to that, using regex to just mean "Anything that ultimately describes a regular language".

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by conistonwater on Thursday September 08, 2016 @09:23PM (#12459018)

I don't think so, not too much anyway, I think the "software engineering" aspects of it would place reasonably strong constraints on what is desirable and on what is feasible (for a DFA). That's probably how the (informal?) consensus emerged.

[ Parent | on HN ]

Re:Regular Expression That Checks If A Number Is Prime by theseoafs on Thursday September 08, 2016 @09:32PM (#12459065)

If you can compile any string in the language to a DFA then it's equivalent in power to regular expressions.

[ Parent | on HN ]