Prope 9 annos Cloudflare parva societas erat, et pro ea non laboravi, mos iustus eram. Post mensem Cloudflare deductis, notitiam accepi meam website DNS laborare non videtur. Cloudflare fecit mutationem to ac Dens erat dns.
Statim ad Matthaeum Principem scripsi cum titulo "Ubi est DNS meus?", et longum responsum technicorum plenum remisit (.ad quod respondi;
From: John Graham-Cumming
Date: October 7, 2010, 9:14
Subject: Re: Ubi est DNS meus?
Ad: Matthaeus PrincepsCool fama, gratias. Certum dicam si quaestiones sunt. Probabiliter dignum est scribere cursorem de hoc semel omnia technicae notitiae collegisti. Puto homines aperta et honesta fabula frui. Praesertim si graphas ei adiungas ut ostendas quomodo negotiatio cum launch increvit.
Bene vigilantiam habeo in situ meo, et SMS de omni defectu accipio. Cras ostendit defectum factum a 13:03:07 ad 14:04:12. Testimenta singula quinque minuta fiunt.
Certum est te viderit. Certus esne tua persona in Europa non indigere? π
At ille respondit:
From: Matthew Prince
Date: October 7, 2010, 9:57
Subject: Re: Ubi est DNS meus?
Ad: Ioannes Graham-CummingGratias tibi. Omnibus nobis scribentibus respondimus. Ego ad officium nunc venio et scribemus aliquid in diario vel in tabula publica officialem in nostro bulletin. Prorsus assentior, honestas omnia sunt.
Nunc Cloudflare est vere magna societas, pro eo laboro, nunc aperte de errore nostro, eiusque consectariis ac actibus nostris scribere debeo.
Gesta Iulii 2
Die 2 Iulii novam regulam in Regulis Curatis pro WAFs ob quam in singulis processus core processus HTTP/HTTPS negotiatio in retis retis Cloudflare per orbem terrarum. Constanter emendare praecepta WAFs administrata sumus in responsione ad novos vulnerabilities et minas. Mense Maio, exempli gratia, festinavimus contra gravem vulnerabilitatem in SharePoint tueri. Totum punctum WAF nostri facultas est regulas cito et globaliter explicandi.
Infeliciter, Ultima Iovis renovatio regularem expressionem continet quae nimium HTTP/HTTPS CPU opes in regressum evasit. Core procuratorio nostro, CDN et WAF functiones consecuti passi sunt. Aliquam lacinia purus ostendit processus facultates ad serviendum HTTP/HTTPS mercaturam fere 100% in servientibus in retia nostra pervenire.
CPU usus in uno puncto praesentiae per incident
Quam ob rem clientes nostri (et clientium clientium nostri) finierunt cum pagina 502 erroris in ditionibus Cloudflare. 502 Errores a Cloudflare generati sunt servitores interretialis qui adhuc habebant metretas liberas sed cum processibus HTTP/HTTPS commercii tractantes communicare non poterant.
Scimus quantum incommodum id emptoribus nostris attulerit. Vere erubescimus. Et hoc impedimentum impediret ne efficaciter ageretur.
Si unus ex his clientibus esses, fortasse vix, iratus et commotus eras. Praeterea non habuimus . Princeps CPU consumptio uni WAF debebatur regula cum expressione regulari male concepta quae in nimia recessu consecuta est. Hic est expressio nocens: (?:(?:"|'|]|}||d|(?:nan|infinity|true|false|null|undefined|symbol|math)|`|-|+)+[)]*;?((?:s|-|~|!|{}||||+)*.*(?:.*=.*)))
Dum haec iucunda est in iure suo (et de eo accuratius infra loquar), Cloudflare ministerium ob 27 minuta non solum propter malam expressionem regularem descendit. Contigit nos aliquandiu describere rerum gestarum quae ad defectum pertinent, ut tardius responderemus. In fine postum, regulari vultu repetam, et dicam tibi quid rei sit.
Quid factum est
Ut sit amet mauris. Omnia tempora hic in UTC.
Ad 13:42 a.m., ingeniarius in turma firewall parva mutatione facta ad deprehendendum praecepta per processus automatic. Itaque tessera petitio mutatio creata est. Tales tesseras per Jira (screenshot infra).
Post 3 minutas pagina prima PagerDuty apparuit referens problema cum WAF. Haec erat synthetica probatio quae probat functionem WAFs (centum ex his habemus) extra Cloudflare ad operationem normalem monitorem. Hoc statim secutae sunt paginae erectorum circa alias Cloudflare finem-ad-finem probationum operarum deficientes, quaestiones global negotiationes, errores diffusos 502, et e ton relationum nostrorum praesentiae (PoP) in urbibus circum orbem quae defectum significabant. de opibus CPU.
Aliquot ex his summis summisque ex contione accepi, et in itinere ad mensam eram cum dux solutionum evolutionis nostrae dixit nos 80% negotiationis nostrae amisisse. Cucurri ad fabrum SRE nostrum, qui iam in problemate laborabant. In primis ignota quaedam oppugnatio putavimus.
Cloudflare fabrum SRE circa mundum dispersi sunt et monitor condicionis circa horologium. De more, hae summae notificant te de certis localibus quaestionibus circumscriptionibus limitatis, ashboardis internis vestiuntur et multipliciter per diem resolvuntur. Sed hae paginae et notificationes rem gravem significaverunt, et fabrum SRE P0 severitatem campestre statim declaraverunt et administratio machinarum systematis contingi.
Nostri Londinii fabrum auditorem in praetorio illo momento audiebant. In auditorio intermittendum erat, omnes congregati in conclavi magno, et plures periti vocati sunt. Hoc problema typicum non fuit quod SREs de se agere possent. Ad ius adhibendi tortores urgebant.
In 14:00 decrevimus quaestionem cum WAF esse et nullum impetum facere. Turma perficiendi data CPU extraxerunt et manifesta facta est WAF vituperare. Alius operarius hanc theoriam confirmavit strace utens. Aliquis alius vidit in lignis quod quaestio erat cum WAF. Ad 14:02 a.m., tota turma ad me venit cum global occisurum uti propositum est, mechanismum in Cloudflare constructum quod unum componentium terrarum claudit.
Quomodo global homicidium fecimus pro WAF alia fabula est. Non est simplex. Utimur fructibus nostris, et cum servitio nostro non operari, non potuimus authenticare et log in tabulam internam (cum omnia fixa essent, cognovimus aliquos manipulos sodales accessum amisisse ob pluma securitatis, quae documentorum disablet, si internus imperium panel usus non sit. diu).
Et non potuimus ad officia interna accedere, sicut Jira vel ratio aedificandi. Nobis opus est machinatione artificiosa, qua infrequenter utebamur (hoc etiam opus est ad elaborandum). Denique unus architectus administravit ut WAF ante 14:07 disable, et ad 14:09, negotiatio et CPU gradus ubique ad normales revertere. Reliquae machinationes tutelae Cloudflare ut normales factae sunt.
Restituendum deinde WAF aggressi sumus. Res extra ordinem facta est, ergo probationes negativas (nos interrogantes si mutatio vere esset quaestio) et probati positivae (facientes reverti laboraverunt) in una civitate utentes commercii separati, emptores inde transferentes.
In 14:52 nobis persuasum habemus rationem et causam intelleximus et fecimus emendationem et rursus WAF fecimus.
Quam Cloudflare operatur
Cloudflare turmas fabrum dedicatas habet regulas administrandi pro WAFs. Rates deprehensio emendare nituntur, positivis falsis minuendis, novis minis cito respondentibus, dum emergunt. Novissimis 60 diebus, 476 mutationis petitiones factae sunt ad normas administrandas pro WAF (mediocris unius singulis horis 3).
Praecipua haec mutatio necessaria est ad modum simulationis explicandum, ubi verus clientis commercium per regulam transit, sed nihil impeditur. Hoc modo utimur ad probandam efficaciam regularum ac mensuras falsas affirmativas et falsas negativas. Sed etiam in modo simulationis, praecepta actu exsecutioni mandanda sunt, et in hoc casu regulae expressionis regularis continebat quae nimis processus facultates consumebat.
Ut videre potes ex mutatione petitionis supra, habemus instruere consilium, reverti consilium et nexum cum norma interna procedendi operandi (SOP) huius generis instruere. SOP regulae mutandae permittit ut globaliter divulgetur. Profecto, apud Cloudflare, omnino aliter aguntur, et SOP dictat nos primum navem programmatis experiendi et interni usus ad punctum internum praesentiae (PoP) (quo operarii nostri utuntur), deinde ad paucitatem clientium in. locus solitarius, deinde magno clientium numero, tum demum toto orbe terrarum.
Hoc est quod videtur. Interne git per BitBucket utimur. Machinatores laborantes in mutationibus codicem submittunt, qui ad TeamCity aedificatur et, cum transitum aedificant, CENSores assignati sunt. Postquam petitio trahere approbatur, signum congregatur et series testium currunt (iterum).
Si aedificare et probat perficere feliciter, postulatio mutatio in Jira creatur et procurator opportunus vel plumbi mutationem approbare debent. Post approbationem, instruere in sic dicta "PoP carnes": CANIS, PORCUS et (canis, porcus et canarius).
CANIS PoP Cloudflare PoP est (sicut omnes aliae civitates nostrae) quae tantum a Cloudflare conductis adhibetur. PoP pro usu interno permittit ut difficultates capias antequam negotiatio emptoris in solutionem incipit fluentem. Utilitas rei.
Si canis probatio proficit, signum porcellum (Guineae porcum) movet. Haec Cloudflare PoP est, ubi parva copia liberi emptoris per novum codicem manat.
Si recte omnia, signum in Canariam vadit. Tres Canarias Pops in diversis mundi partibus habemus. In illis, negotiatio clientium solutorum et liberorum per novum codicem transit, et haec est postrema errorum reprehendo.
Software Release Process at Cloudflare
Si signum in Canariis est ok, nos absolvimus. Perambulans omnes gradus - CANES, porcarius, Canarius, totus mundus - aliquot horas vel dies accipit, secundum mutationem codicis. Ob diversitatem retis et clientium Cloudflare, codicem probe probamus antequam globaliter omnibus clientibus dimittat. Sed WAF non specialiter hunc processum sequitur, quia minae cito responderi debent.
WAF minae
Praeteritis his paucis annis in minis communibus applicationibus notabile incrementum fuit. Hoc ex maiore instrumentorum instrumentorum facultate programmatis probandi. Exempli gratia nos nuper scripsimus ).
Source:
Saepissime conceptus probatio creatur et statim in Github evulgatur ut iunctiones applicationis conservandae celeriter eam probare et curare ut adaequate consulatur. Ideo Cloudflare facultatem eget quam celerrime novis oppugnationibus respondendi ut clientes facultatem habeant eorum programmata figere.
Magnum exemplum celeris responsionis Cloudflare est instruere praesidia vulnerability SharePoint mense Maio (). Fere statim postquam nuntiata facta sunt, ingentem numerum conatum vulnerabilitatem in clientium nostrorum officinarum SharePoint uti animadvertimus. Nostrae latinae minas novas semper vigilantia sunt et regulas scribentes ut clientes nostros defendat.
Regula, quae quaestionem de Iovis die fecit, creditum est contra scripturam crucis-site tueri (XSS). Huiusmodi impetus multo etiam crebriores his annis facti sunt.
Source:
Modus procedendi mutandi regulam moderatam pro WAF est ducere continuam integrationem (CI) ante probationem globalem instruere. Ultima Iovis hoc fecimus et praecepta evolvit. In a.m. 13:31, ingeniarius postulatio viverra probata cum mutatione submisit.
At 13:37 TeamCity regulas collegit, tentationes cucurrit et antecedens dedit. WAF suite test nucleum functionis WAF probat et in pluribus unitatis testium singularum functionum consistit. Post unitates probationes probavimus regulas in WAF utentes ingenti numero petitionum HTTP. Petitiones HTTP inhibendae sunt quae petitiones WAF impediendae sunt (intercipiendi impetum) quaeque permitti possunt (ut non omnia obstet et positiva falsa vitare). At nos nimiam CPU consuetudinem non probavimus, et acta priorum WAF aedificationum inspectis ostendit regulam experimenti temporis non crescere, et difficile erat suspicari opes non satis esse.
Probat et TeamCity statim explicari mutationem mutationis 13:42 a.m.
rebus
WAF praecepta immediatae remediationis comminationis intendunt, sic eas explicamus utentes argenti vivi clavicularii pretii distributi, qui mutationes globally in secundis propagatur. Omnes clientes nostri hac technica arte utuntur cum configurationem in ashboardday vel per API mutant, et ob id quod celeritate fulminis mutationibus respondemus.
Non multa de argento vivo locuti sumus. Antea usi sumus ut globaliter clavium valoris distribuit, sed cum ea problemata perficienda erant et nostram copiam scripsimus, in plus quam 180 urbibus repplicari. Nunc argentum vivum utimur ad dis configuratione mutationes clientium, regulas renovationis WAF, et JavaScript codicem divide a clientibus ad Operarios Cloudflare scriptum.
Tantum paucis secundis accipit a puga pyga in ashboardday vel API vocato ut configurationem mundialem faciens. Clientes hanc celeritatem setup amaverunt. Et operarii fere momentaneum globalem programmatum illis instruere. In mediocris, argentum vivum circiter 350 mutationes per secundam propagat.
Argentum vivum velocissimum est. Mediocris percepimus XCIX centus 99 secundorum ad mutationes propagandas ad omnem orbem terrarum computatrum. Celeritas solet bonum. Ceterum, cum functionem vel purgationem aperias, fere statim et ubique accidit. Mitto codicem per Cloudflare Operariorum velocitatem in eadem occurs. Cloudflare promittit clientes suos updates ieiunantes tempore suo.
At in hoc cursu crudelis iocus in nos egit, et in re secundis ubique praecepta mutaverunt. Fortasse notavi WAF codice utitur Lua. Cloudflare fuse utitur Luae in productione et singulis nobis . Luae WAF utitur interius et applicat REGRESSUS pro matching. Nullas machinas habet, ut contra expressiones quae extra imperium evadunt defendat. Infra de hoc plura dicemus et quid de eo agimus.
Priusquam praecepta explicanda essent, omnia leniter sunt: ββrogatio viverra facta et approbata, CI/CD pipeline collecta et codicem probavit, postulatio mutationis facta est secundum SOP, qui instruere et reverti gubernat, et instruere peracta est.
Cloudflare WAF instruere Processus
Aliquid abiit iniuriam
Sicut dixi, justos novorum WAF regit omni septimana explicamus, et multas systemata in loco habemus, ut contra negationes talis instituti eventus defendamus. Et cum aliquid errat, ex pluribus simul circumstantiis solet. Si unam tantum causam invenias, hoc quidem blandum est, sed non semper verum. Hae sunt rationes quae simul ad defectum servitii nostri HTTP/HTTPS perducti sunt.
- ingeniarius scripsit expressionem regularem quae posset in nimia .
- Pluma, quae regularem expressionem ne nimis CPU perdere posset, mendose remotum est in refectione WAF ante aliquot septimanas β refectio necessaria fuit ut WAF minus opes consumeret.
- The regular expression engine had no complexity spondent.
- Consentaneum test nimia CPU consummatio deprehendere non potuit.
- SOP permittit mutationes regulae non-emergentiae sine multi-gradu processu globuli evolvi.
- Consilium reverti currendo requiritur plenum WAF bis aedificandum, quod longum tempus sumpsit.
- Prima vigilantia circa negotia negotiationis global nimis sero utitur.
- Aliquantum temporis cepimus ut pagina status update.
- Habuimus problemata systemata accessuendi ex glitch, et ratio enucleata non satis constat.
- SRE fabrum ad aliquas systemata accessum amiserunt, quod eorum documentorum ob rationes securitatis exspiraverunt.
- clientes nostri accessum ad Cloudflare ashboardday vel API non habent quod per regionem Cloudflare vadunt.
Quod mutatum ab ultimo Iovis
Primum nos omnino cessavimus omne opus in emissione pro WAF ac sequentia facere:
- Nos praesidium CPU overuse reduximus quam removimus. (Paratus)
- Manually reprehendo omnes regulas 3868 in regulas tractatas pro WAF invenire et corrigere alias casus potentiales nimiae regressionis. (Verificationis perficitur)
- Profiling perficiendi includimus ad omnes regulas in testo statuto. (Expectatur: July 19)
- Commutatione regulari dictum Vivamus aut β ambo provi- runtime pignori. (Expectatur: July 31)
- SOP rescribimus ad regulas in gradibus explicandi, sicut alia programmata in Cloudflare, sed simul facultatem habent instruere globalem necessitatem si impetus iam inceperat.
- Facultatem augemus ut Cloudflare ashboardday et API e regione Cloudflare instanter removeamus.
- Automating pagina updates .
Longum terminum movemur ab Lua WAF scripsi ante paucos annos. Movere WAF to . Hoc modo WAF velocius erit ac praesidium additional gradum accipiet.
conclusio,
Haec defectus molestiam nobis et nostris clientibus attulit. Cito ad emendandam rem egimus et nunc laboratis in vitiis processuum, qui ruinam fecerunt, ac etiam altius fodientes ad cavendum a potentiis quaestionibus regularibus expressionibus in futuro cum ad novas technologias migrantes.
Valde impediti sumus hac eu eu ac nostris clientibus excusare. Speramus hae mutationes ut aliquid efficiat simile hoc non iterum fiet.
Applicatio. REGRESSUS expressions regularis
Ad notionem quam- dictionem;
(?:(?:"|'|]|}||d
(?:nan|infinity|true|false|null|undefined|symbol|math)|`|-
|+)+[)]*;?((?:s|-|~|!|{}||||+)*.*(?:.*=.*)))omnes facultates CPU comedit, parum scire debes quomodo machinam expressionis vexillum regularis opera facit. Quaestio hic est exemplar .*(?:.*=.*). (?: et correspondentes ) coetus non captivorum est (hoc est, dictio parenthesi sicut una expressio comprehenditur).
In contextu nimiae CPU consumptionis, exemplar describi potest .*.*=.*. In hac forma, exemplar superflue complexum spectat. Sed potius, in rerum natura, expressiones (sicut expressiones implicatae in WAF regulae) quaerunt machinam ut fragmentum par sequitur ab alio fragmento ad calamitosas regressionem ducere possit. Et ideo.
In iusto expressio . minime debes unum ingenium aequare; .* - nulla vel plura ingenia aequare "cupide", id est, maximam indolem capiendi, ut " .*.*=.* significat nulla vel plura ingenia aequare, deinde nulla vel plura ingenia aequare, litteralem = characterem invenire, characteribus nullis vel pluribus aequare.
Sit amet linea x=x. Respondet expressio .*.*=.*. .*.* ad signum aequet primum x (Unus de coetibus .* ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΠ΅Ρ xac secunda - nulla ingenia). .* Post = aequet tandem x.
Comparatio haec requirit 23 gradus. Primum coetus .* Π² .*.*=.* avide congruit totum filum x=x. In engine coetus ad proximum movet .*. Plura ingenia non habemus ad aequare, sic coetus secundus .* nulla ingenia aequet (hoc licet). Tum machina movet signo =. Non sunt plura signa (prima coetus .* usus est omnis expressio x=xquod nulla comparatio fit.
Tum regularis expressio machina ad principium redit. Movetur ad primum .* et comparat Ρ x= (Pro x=x) Et accipit in secundo coetu .*. Secundus coetus .* comparatur cum secundo xnosque rursus nulla ingenia supersunt. Et cum rursus pervenit machinam = Π² .*.*=.*nihil operatur. et iterum retrahit.
Hoc tempore coetus .* adhuc aequet x=sed secundae sodalitatis .* ultra xac nulla ingenia. Engine conatur invenire character = in forma .*.*=.*sed non exit (cum primum coetus eam occupavit .*). et iterum retrahit.
Hoc tempore primi .* prima tantum capit x. Secundus autem coetus .* "cupide" captures =x. Iamne coniectans quid fiet? Engine conatur inserere litteralem =excidit et facit alium regressum.
Primum coetus .* tamen aequet primum x... Secundus .* nisi accipit =. Utique machinam litteralem non aequare potest =, quia secundus coetus iam hoc fecit .*. et iterum regressio. Et nos filum trium characterum aequare conamur!
Quam ob rem prima .* primum modo aequet x, secundus .* - cum characteribus nullis, et machina tandem litterali congruit = in expressio Ρ = in acie. Proximum est ultimum coetus .* comparatur ad ultimum x.
XXIII gradus tantum x=x. Vigilate brevi video de usura Perl quod ostendit quomodo gradus et recessus fiant.
Hoc iam multum laboris est, sed quid si pro? x=x habebimus x=xx? Id est 33 gradus. Et si x=xxx? 45. Necessitudo linearis non est. Aliquam lacinia purus ex collatio ostendit x=x ad x=xxxxxxxxxxxxxxxxxxxx (20 x ΠΏΠΎΡΠ»Π΅ =). Si XX x post =, machina parem per 555 gradus complet! (Praeterea si amisimus x= et in linea simpliciter ex XX " xmachina capiet 4067 gradus ad intellegendum nullas esse par).
Hoc video ostendit omnes REGRESSUS ad comparationem x=xxxxxxxxxxxxxxxxxxxx:
Malum est quod, crescente chorda magnitudine, vicissitudine super-linearibus crescit. Sed res etiam peius fieri potest si leviter immutata regularis expressio est. Dicamus habuimus .*.*=.*; hoc est, in fine exemplaris erat semicolon litterale. Exempli gratia, congruit expressioni similis foo=bar;.
Et hic regressus esset vera calamitas. Ad comparationem x=x capiet 90 gradus, non 23. Et ille numerus cito crescit. comparare x= et 20 x, 5353 gradibus opus est. Hic chart. Vide axis values Y ad priorem chart.
Si vos erant 'interested, reprehendo sicco omnes gradus 5353 defecit matching x=xxxxxxxxxxxxxxxxxxxx ΠΈ .*.*=.*;
Utendo piger magis quam avarus adaptans, quatenus regressio coerceri potest. Si mutata est expressio originalis .*?.*?=.*?Ad comparationem x=x erit gradus XI (non XXIII). Sicut enim x=xxxxxxxxxxxxxxxxxxxx... Omnes quod ? ΠΏΠΎΡΠ»Π΅ .* narrat engine ut par minimum numerus characteres ante migremus.
Sed piger mappings quaestionem cedentem omnino non solvunt. Si exemplum calamitosum reponere .*.*=.*; on .*?.*?=.*?;executio tempus manebit idem. x=x adhuc requirit DLV gradus et x= et 20 x - 5353.
Sola res quae fieri potest (praeterquam omnino rescribens exemplar ad maiorem proprietatem) est instrumentum expressionis regularis deserendi cum suis mechanism regressu. Hoc est quod per aliquot septimanas faciemus.
Solutio huius problematis ab anno 1968 nota est, cum Kent Thompson articulum scripsit (" Methodi programmandi: Algorithmus regularis elocutionis investigatio"). Articulus mechanismum describit, qui permittit ut regularem expressionem in machinis finitis non deterministicis convertas, et post mutationes status in machinis finitis non-deterministicis, utere algorithmo cuius exsecutio tempus linealiter pendet a filo pare.
Programming Methodi
Iusta locutio Quaerere Algorithmus
Ken Thompson
Bell Telephone Laboratorium, Inc., Murray Hill, New JerseyMethodum denotat quaerendi certae notae chordae in textu et de methodo in forma compilatoris exsequendam discutit. Compilator expressionem regularem tamquam codicem fontem sumit ac programmata IBM 7094 pro codice obiecti producit. Obiectum propositum in forma textui quaerendi accipit et signum emittit singulis vicibus filo textui contra certam expressionem datam. Articulus exempla, quaestiones et solutiones praebet.
algorithm
Praevia investigationis algorithmorum in regressionem consecuta est si quaesitum ex parte prosperum emisit effectum.In modo compilation algorithmus symbolis non laborat. lUe mandatum ad codicem compilavit. Executio celerrima est - postquam data ad summam pertranseat index hodierni, ipso facto perquirit omnes continuos characteres in expressione regulari.
Compilatio et investigatio algorithmus in editore temporis communicans cum inquisitione contextuali comprehenditur. Nimirum hoc procul abest a sola applicatione talis inquisitionis. Exempli gratia, variatio huius algorithmi pro symbolo quaerendi in tabula in coadunatione adhibetur.
Ponitur lectorem familiarem esse expressionibus regularibus et linguae programmationis IBM 7094 computantium.Compiler
Compilator constat tribus gradibus parallelis. Primus gradus est syntaxin eliquationis, quae tantum syntaxi rectas expressiones regulares transire sinit. Hic gradus etiam "Β·" operatorem ad congruit expressionibus regularibus. In secundo gradu, regularis expressio ad postfixam formam convertitur. In tertio gradu codice objectum creatur. Primae mansiones sunt apertae, et non habitabimus in eis.
Articulus Thompson de machinis nondeterministicis finitis statui non loquitur, sed algorithmum linearem temporis explicat bene et proponit programmata ALGOL-60 quae codicem linguae congregationis generat pro IBM 7094. Exsecutio insidiosa est, sed idea valde simplex est.
vena quaerendi semita. Icone cum uno initus et duobus outputibus repraesentatum est.
Figura 1 ostendit functiones tertii gradus compilation cum expressione regulari transfigurantis exemplum. Tres primae characteres in exemplo sunt a, b, c, et singulae acervum ingressum S[i] et agrum NNODE creat.NNODE ad codicem existentium in uno acervo viscus generare inde expressionem regularem (vide Figure V)
Hoc est quod regulare dictum videretur .*.*=.*, si imaginas ut in imaginibus ex articulo Thompson.
In Fig. 0 sunt quinque status ab 0 et 3 cycli qui incipiunt a civitatibus 1, 2 et 3. Hi tres cycli correspondent tribus. .* in a regular expression. 3 ovalibus punctis uni symbolo respondent. Oval cum signo = aequet characterem =. Civitas 4 ultima est. Si attingimus, aequatur locutio regularis.
Videre quomodo talis status schematismi potest adhiberi ad expressionem regularem congruentem .*.*=.*Nos te respice ad filum matching x=x. Propositum ab 0 statu incipit, ut in Fig. 1 .
Ad hoc opus algorithmus, apparatus status debet esse in pluribus civitatibus simul. Machina finita non determinata omnes transitus possibilis simul faciet.
Priusquam tempus datae initus legeretur, in primos status utriusque (I et II) ingreditur, ut in Fig. 1.
In Fig. 2 ostendit quid fit quando primo inspicit x Π² x=x. x can map to the top point, going from state 1 and back to state 1. Or x potest tabula ad punctum infra, procedendo a statu 2 et ad statum 2 .
Post primum matching x Π² x=x adhuc sumus in civitatibus 1 et 2. ad statum 3 vel 4 pervenire non possumus, quia charactere litterali indigemus =.
Algorithmus igitur considerat = Π² x=x. Sicut ante x, vel summae duae ansulae a statu 1 ad statum 1 vel a statu 2 ad statum 2 adaequari possunt, sed algorithmus litteralis aequare potest. = et de statu 2 ad statum 3 (et statim 4). Hoc in Fig. 3.
Algorithmus igitur movetur ad ultimum x Π² x=x. Ex civitatibus 1 et 2 iidem transitus possibilis sunt ad status 1 et 2. A statu 3 . x par punctum dextrorsum et ad statum retrahendum 3 .
Hac in re quisque character x=x consideretur, et quoniam ad statum 4, the regular expression matches that string. Uniuscuiusque character semel discurrit, ergo hoc algorithmus linearis est in longitudine chordae input. NULLAM RECEPTIONEM .
Patet, postquam pervenit ad statum 4 (cum algorithmus compositus est.' x=) tota expressio regularis adaequatur et algorithmus terminari potest absque consideratione x.
Hoc algorithmus linearly pendet a magnitudine chordae input.
Source: www.habr.com