Regular expressions + logical programming. What's the result?

Hello, dear readers.
 
 
Regular expressions are a well-known thing that is used in a variety of projects, most often for not very complex cases of structured text parsing. At first glance, at first glance, it is such a slightly different task as the reverse synthesis of program models (when there is a code of the program generated automatically by some system in some block model of the problem being solved, and it is necessary to recreate the original model by this code), as well as synthesis of program models by text description of the problem, I ran into the problem of text analysis, or rather ...
+ 0 -

REG.RU selected 70 thousand customers from a partner who independently started registering domains

Yesterday brought the owners of 7?000 domains that were registered with the Beget hostess through the REG.RU registrar, not very pleasant news: the registrar and the hoster quarreled and the registrar took to his service all the customer domains , which they registered through the hoster.
 
 
REG.RU connects this with "systematic violations of the rules of working with customers and a contract for the provision of services" from their old partner.
 
 
REG.RU selected 70 thousand customers from a partner who independently started registering domains
 
Without the demand transferred ...
+ 0 -

Python. Quantifiers in positional checks under sanctions

Good day to all Habourners!
 
Python. Quantifiers in positional checks under sanctions  
The note, of course, does not draw on the article, but I can not help sharing what I encountered today.
 
The other day I had a task to register mp3 tags in music files.
 
There is an audio course for one English teacher, where the file names are correct, and the tags in those files are not correctly spelled. It turns out that when you create a playlist in an mp3 player, the tracks are not in order.
 
To everyone who is interested please under the cut
 
 
The course files have the form:
 
cd1-1.mp? cd1-2.mp3 cd1-30.mp3
 
 
cd10-1.mp? cd10-2.mp3 cd10-30.mp3
 

 
 
Task: to...
+ 0 -

Computational theory. Introduction to finite automata

Computational theory. Introduction to finite automataSpoiler [/b]
I'll say right away that I will not explain too formally.
 
 

Finite-state machines


 
This is a simplistic computer model with a finite number of states that sacrifices all the features of computers such as RAM, permanent memory, I /O devices and processor cores in exchange for ease of understanding, convenience of reasoning and ease of software or hardware implementation.
 
 
With the help of spacecraft, you can implement things like regular expressions, lexical analyzer, AI in games, etc.
 
 
The finite automata have conversion table , [b] the current state of the machine ...[/h]
+ 0 -