Tootfinder

Measure-Theoretic Aspects of Star-Free and Group Languages
Ryoma Sin'ya, Takao Yuyama
https://arxiv.org/abs/2506.14134 https://ar…

Measure-Theoretic Aspects of Star-Free and Group Languages
A language $L$ is said to be ${\cal C}$-measurable, where ${\cal C}$ is a class of languages, if there is an infinite sequence of languages in ${\cal C}$ that ``converges'' to $L$. We investigate the properties of ${\cal C}$-measurability in the cases where ${\cal C}$ is SF, the class of all star-free languages, and G, the class of all group languages. It is shown that a language $L$ is SF-measurable if and only if $L$ is GD-measurable, where GD is the class of all generalised definite language…

Le train suivant circule au départ de Moret-Veneux-les-Sablons, il est donc supprimé de Montargis jusqu'Š Montigny-sur-Loing : - POMA départ Montargis 09h02, arrivée Paris Gare de Lyon 10h43.
Prochain train Š circuler : - POMA départ Montargis 10h02, arrivée Paris Gare de Lyon 11h43.
Pour plus d'informations sur cette perturbation, consultez le fil X de la ligne R.
Motif : prolongation des travaux sur le réseau ferroviaire.
🤖 19/06 08:09

Ahh. ... Elon did it again...
Video:
#SpaceX

🇺🇦 #NowPlaying on KEXP's #MorningShow
Metal Orizon:
🎵 We Are The Kings Of Africa
#MetalOrizon

Sie wollen einfach nicht sparen! Wird Zeit, das das Volk dem ganzen Affentheater ein Ende setzt und das sparen einfach durchdrückt!
#srg #srf #orr

旧時代のWebサービスが、次々と閉鎖されていくわね……

London- and Paris-based Animaj, a kids' media company that uses proprietary generative AI production tools to automate animation pipelines, raised $85M (Elsa Keslassy/Variety)
https://variety.com/2025/digital/global/…

HarbourView Equity Leads $85 Million Investment in Animaj
HarbourView Equity Partners is leading a $85-million investment in Animaj, the AI-powered media company specializing in kids & family entertainment.

Something Netanyahu and Trump have in common is that desperate leaders losing support start wars
https://mstdn.social/@GottaLaff/114699640760119959

I really need someone, maybe
@…, who is apparently on an intense tour, to tell me whether this is hooey or not.
https://cybernews.com/security/bill…

Richard Murphy provides an excellent characterisation of where western society was at its best (for most people, but not everyoe), and how it fell into the increasingly horrible situation it's in now... and how we could return to a 'better way' - what he refers to as 'mixed markets'. https://yewtu.be/watch?v=lrQh0_B…

The heartbreaking thing in Skrmetti is not Roberts’ bland reality-denial, but Barrett’s concurrence arguing that trans people do not “exhibit obvious, immutable or distinguishing characteristics that define them as a discrete group” and have not been “as a historical matter … subjected to discrimination”. She gets there partly by importing extra conditions (“definitively ascertainable at the moment of birth”, quoting a lower court case denying suspect class status based on sexual orientatio…

Marcus Meyer schafft Tierskulpturen mit Holz von Bäumen, die auf Grund von Krankheit am Sterben oder bereits tot waren. Seine Tiere habe Verletzungen - die Formen sind unvollständig. Er zeigt #DieLetztenIhrerArt und macht auf das Sterben unserer Umwelt aufmerksam.
Schweinswale, kleine Tümmler sehen wir heute auch in Kieler Förde. Aber unsere Kinder und Kindeskinder?

Le trafic est perturbé de Champ de Mars vers Juvisy.
Pour plus d'informations sur cette perturbation, consultez le fil X du RER C.
Motif : panne de signalisation (dysfonctionnement des feux de signalisation dans le secteur des Invalides).
🤖 18/06 09:36

Good Morning Karlsruhe! Day 02 of the Effekte Science Festival with our booth presenting the Wiedergutmachung project, a huge digitalisation effort on historical archival documents on the recompensation processes of nationalsocialist injustice
@… @…

I backed roons immediately. No hesitation.
I want this so much and I don’t even know why.
https://www.kickstarter.com/projects/whomtech/roons-the-mechanical-computer-kit

Somehow we made this part of the Queensboro Bridge worse. This is a 3-4ft wide two-way bike lane. There's so much wrong with this, from the metal manhole cover taking up almost the entire width of the bike lane, to the MUTCD-violating usage of sharrows, to those shitty rumble strip/speed bump things THAT ARE LOOSE.
Wtaf! #bikeNYC
@…

@… Then read or listen to this post from last year and it will all make sense
https://www.rte.ie/brainstorm/2024/0513/14

A little late, assholes. And I say this as a 50 year fan. https://mastodon.social/@Schwartzies/114708151910644652

More news from the GÉANT eAcademy!
Also recently released in the GÉANT Optical Time & Frequency Networks (OTFN) eAcademy is the new learning unit "Introduction to Fibre", designed to help you familiarise with the essential concepts, components and technologies related to fibres.
〰️ Explore the course here: https://lnkd.in…

The Atlantic Announces Staff Writers Quinta Jurecic, Toluse Olorunnipa, and Nancy Youssef (The Atlantic)
https://www.theatlantic.com/press-releases/archive/2025/06/atlantic-hires-jurecic-olorunnipa-and-youssef/683229/
http://www.memeorandum.com/250619/p64#a250619p64

"‘Shark Skin’ Coating for Airliners May Cut Fuel Use by 4% – Delta is Testing on its 767 Fleet"
#Aviation #Aeroplanes

‘Shark Skin’ Coating for Airliners May Cut Fuel Use by 4% – Delta is Testing on its 767 Fleet
An Australian startup has developed an adhesive film inspired by shark skin that reduces drag on aircraft and could cut fuel use by 4%.

California AI Policy Report Warns of 'Irreversible Harms' - Slashdot
https://yro.slashdot.org/story/25/06/17/214215/california-ai-policy-report-warns-of-irreversible-harms

Can anyone describe to me the last time they actually used a human-readable sitemap page on a website?
What were you looking for? Why did the menu system not give this to you?
#webdev

A generalization of Deterministic Finite Automata related to discharging
John M. Campbell
https://arxiv.org/abs/2506.14072 https://ar…

A generalization of Deterministic Finite Automata related to discharging
Deterministic Finite Automata (DFAs) are of central importance in automata theory. In view of how state diagrams for DFAs are defined using directed graphs, this leads us to introduce a generalization of DFAs related to a method widely used in graph theory referred to as the discharging method. Given a DFA $(Q, Σ, δ, q_{0}, F)$, the transition function $δ\colon Q \times Σ\to Q$ determines a directed path in the corresponding state diagram based on an input string $a_{1} a_{2} \cdots a_{n}$ …

Le train suivant voit son départ différé de 15 minutes environ :
- Train POMA, départ Montargis 08h10, arrivée Paris Gare de Lyon 09h51
Pour plus d'informations sur cette perturbation, consultez le fil X de la ligne.
Motif : respect des distances entre les trains.
🤖 19/06 08:06

Still a little nippy in the sea
#bathing #Norway

⇢ What I find more surprising is that the 720 was actually a little too slow to run HP-VUE smoothly, which makes me wonder how it ran on 68K-based machines…
So people typically used either twm or HP-VUE Lite. There seems to be hardly any information online about the latter (apart from the documentation

⇢ What I find more surprising is that the 720 was actually a little too slow to run HP-VUE smoothly, which makes me wonder how it ran on 68K-based machines…
So people typically used either twm or HP-VUE Lite. There seems to be hardly any information online about the latter (apart from the documentation

Looks like the plan is for the ICE agents to be Trump's Gestapo.

And with that, the 2024-2025 school year comes to a close.
#teaching

Weather office assures me #allangelsjazzband will be good to go for 6-9pm tonight along #TheDanforth outside Papyrus Restaurant (337 Danforth) for some pedestrian #jazzintoronto 😉

"But West Virginia’s new law is unusual. Boasting the “least restrictive regulatory environment in the nation,” it prohibits local officials from having any input into where off-grid data centers go. This provision appears to be a nationwide first and is angering mayors and commissioners statewide."
From: @…

TIL that Private Pyle from Full Metal Jacket is Kingpin in the MCU 🤯
What a career

I’m hyperfixated on this song and it’s got me all "GLORY TO ANARCHIST SPAIN! ¡VIVA LA ESPAÑA ANARQUISTA!".
I can’t stop listening to it on repeat because my autistic brain just latched onto it, LMAO!
https://www.youtube.com/watch?v=_Fbz2A2u1hs

Shorter: I can forgive a lot but I do not forget much. https://toad.social/@grumpybozo/114711651942998719

Wenn der unerwartete Fehler erwartet auftritt, macht er doch was falsch!

1,9 millions manquants
Ces gros contribuables qui négocient leurs redressements fiscaux avec l’Etat
https://www.lemonde.fr/politique/article/2025/06/18/quand-les-gros-contribuables-nego…

Quand les gros contribuables négocient leurs redressements fiscaux
En 2024, l’Etat a conclu des accords amiables avec 92 particuliers et 223 entreprises en délicatesse avec le fisc. Les montants demandés ont été réduits de 71,5 %. Bercy a ainsi renoncé à 1,9 milliard d’euros, un record. Une pratique contestée par un rapport parlementaire.

"The best time to hire senior developers is three years before they're senior developers"
@…
💯
https://ruby.social/@alexanderadam/114

Wir teilten nie die Cloud-Euphorie, sondern setzten immer auf eine selbstverwaltete skalierbare Plattform. Dies vermeidet unerwartete Kostensteigerungen und verbessert die Datensicherheit:
https://www.golem.de/news/rueckzug-aus-der-cloud-ern…

Rückzug aus der Cloud: Ernüchterung nach der Euphorie - Golem.de
So manche Firma ändert derzeit ihre Cloudstrategie, nicht nur wegen Trumps neuer Präsidentschaft. Denn Gründe für den Ausstieg aus der Cloud gibt es viele.

Portanto, o braço do Chega no Ministério Público inventou uma investigação ao Pedro Nuno Santos para o PS e toda a esquerda levar um banho eleitoral. Servicinho feito, a coisa foi arquivada por não haver indícios de crime.
Por acaso eu até acho que hš indícios de crime. Indícios de corrupção e ingerência eleitoral no sistema de justiça.

What's going on with this #ICLR paper?
The metareview says that the authors provided a sound rebuttal and update to the paper, but neither are available (rebuttals are shown on other papers).
https://openreview.…

GLoRa: A Benchmark to Evaluate the Ability to Learn Long-Range...
Learning on graphs is one of the most active research topics in machine learning (ML). Among the key challenges in this field, effectively learning long-range dependencies in graphs has been...

🔊 #NowPlaying on #BBCRadio3:
#Radio3InConcert
- VOCES8 20th anniversary concert
VOCES8 is joined on stage at London's Barbican by the BBC Singers, VOCES8 Scholars, former members of the ensemble and special guests, for a 20th anniversary celebration.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002d7hb

Gesucht: Archäologie Job, am liebsten zum Knochen identifizieren, bevorzugt in Berlin/Brandenburg. Wir klappern schon Unis/Institute/Grabubgsfirmen ab, gern her mit Hinweisen.
Meine Frau ist erfahren im Graben (DE, Jordanien, Moldawien, …) und hat reichlich Ahnung von Bio-Archäologie - aber sitzt gerne im Labor und starrt auf Knochen 🙃
#FediHire

function() * an

We are rapidly approaching the threshold of being unable to tell if a piece of software is terrible for the traditional reasons or if it’s terrible because someone tried to bolt on “AI”.

Scientists '3D Print' Material Deep Inside The Body Using Ultrasound
https://www.sciencealert.com/scientists-3d-print-material-deep-inside-the-body-using-ultrasound

Scientists '3D Print' Material Deep Inside The Body Using Ultrasound
Scientists in the US have created a way to 3D print materials inside the body using ultrasound.

Jazzaria – Tilting Saints
#abstract

Open Letter to CRL from the academic wing of #CripLib - ACRLog
https://acrlog.or…

Open Letter to CRL from the academic wing of #CripLib - ACRLog
Editor's note: We welcome a guest blog post from the academic librarians of #CripLib, which focuses on the intersection of disability and library work. Note: The focus is on our concerns about the quality of the article and the editorial process that led to it being published as research - NOT on the author as

Coach? Mentor? Thought partner?
Which do you need?
(My clients get all three in one.)

What happens if you mix thrash metal, nu metal and trap metal in the same song? Close to this one https://youtu.be/aMcpF8uLpD4?si=SkiOLNOn6-Rzc_-h

Big Brother in der Luft: Flugdaten-Riese verkauft Milliarden Passagierprofile | heise online https://www.heise.de/news/Big-Brother-in-der-Luft-Flugdaten-Riese-verkauft-Milliarden-Passagierprofile-10385176.html

Big Brother in der Luft: Flugdaten-Riese verkauft Milliarden Passagierprofile
Airlines Reporting Corp., an der Lufthansa beteiligt ist, sammelt Milliarden Daten über Flugreisende und verscherbelt sie etwa an Trumps Einwanderungsbehörde.

Motorola: Diese Smartphones erhalten das Update auf Android 16
Android 16 ist fertig, steht derzeit aber nur für Pixel-Geräte zur Installation bereit. Folgende Motorola-Smartphones sollen das Update auch erhalten.

Nutrition is my passion

Tanta gente com fortes sintomas gripais (e, obviamente, nenhuma #máscara) hoje aqui. E eu não tomei ainda a nova #vacina contra a #COVID. Além do mais a vacina contra a

Y'all that have been following me for a bit know that I'm slowly adding customizable colors to #Jellyfin for #Roku.
This has been a HUGE undertaking!
So will someone explain to me why on top of that I'm now adding the ability to import the colors from the custom CSS setti…

Die ePetition 181465 an den Bundestag aus dem Bereich Straßenverkehrs-Ordnung mit dem Titel
Legalisierung der Handynutzung bei stehendem Fahrzeug
kann bis zum Mittwoch 30. Juli 2025 01:00 UTC mitgezeichnet werden und lautet
Der Deutsche Bundestag möge beschließen, § 23 Abs. 1a Satz 1 Straßenverkehrs-Ordnung (StVO) d…

Die ePetition 181465 an den Bundestag aus dem Bereich Straßenverkehrs-Ordnung mit dem Titel
Legalisierung der Handynutzung bei stehendem Fahrzeug
kann bis zum Mittwoch 30. Juli 2025 01:00 UTC mitgezeichnet werden und lautet
Der Deutsche Bundestag möge beschließen, § 23 Abs. 1a Satz 1 Straßenverkehrs-Ordnung (StVO) d…

Psychologe hält Social-Media-Verbot an Schulen für sinnvoll | BR24
https://www.br.de/nachrichten/wissen/insta

信用第一支店
お客様第一支店

Careem, Uber's ride-hailing MENA arm, will suspend its decade-old Pakistan service on July 18, citing economic challenges, competition, and capital constraints (Ariba Shahid/Reuters)
https://www.reuters.com/world/asia-pacific

[2025-06-18 Wed (UTC), 2 new articles found for cs.FL Formal Languages and Automata Theory]
toXiv_bot_toot

Période : semaine, en soirée.
Dates : du lundi 09 juin au vendredi 20 juin.
Le trafic est interrompu entre Melun et Montargis et entre Melun et Montereau.
Les horaires de certains trains peuvent être avancés. Nous vous conseillons de consulter la rubrique "recherche itinéraire" pour préparer vos trajets.
Les trains de la ligne R sont détournés par Héricy et des allongements de temps de parcours sont Š prévoir.
Un service de bus de remplacement est mis …

In both cases, the message is clear:
“Trump is really with •those other people•. Trump never cared about •you•. Trump never really wanted what •you• want. He just wants your money and your vote. He thinks you owe him your vote. Well you don’t.”
You know the playbook. If you’re having trouble coming up with it, just conjure up what the trolls did in your replies about Biden, turn that into a Mad Lib, and fill in the blanks for Trump supporters.
/end

Le train suivant voit son départ différé de 10 minutes environ :
- POMA départ de Montargis Š 20h02, arrivée Š Paris Gare de Lyon Š 21h43.
Pour plus d'informations sur cette perturbation, consultez le fil Twitter de la ligne.
Motif : régulation de trafic sur sa mission précédente (conséquence d'un voyageur malade Š bord d'un train).
🤖 18/06 19:43

Controller Synthesis for Parametric Timed Games
Mikael Bisgaard Dahlsen-Jensen (Aarhus University, Aarhus, Denmark), Baptiste Fievet (Universit\'e Sorbonne Paris Nord CNRS, Villetaneuse, France), Laure Petrucci (Universit\'e Sorbonne Paris Nord CNRS, Villetaneuse, France), Jaco van de Pol (Aarhus University, Aarhus, Denmark)
https://

Controller Synthesis for Parametric Timed Games
We present a (semi)-algorithm to compute winning strategies for parametric timed games. Previous algorithms only synthesized constraints on the clock parameters for which the game is winning. A new definition of (winning) strategies is proposed, and ways to compute them. A transformation of these strategies to (parametric) timed automata allows for building a controller enforcing them. The feasibility of the method is demonstrated by an implementation and experiments for the Production Cell cas…

Opinion: Weekend shootings should not define us | Opinion – Deseret News
https://www.deseret.com/opinion/2025/06/17/wasatch-front-shootings-dont-define-who-we-are/

Hausrotschwänze und Austern

OpenAI warns that its upcoming models could pose a higher risk of enabling the creation of biological weapons and says it is stepping up testing of such models (Ina Fried/Axios)
https://www.axios.com/2025/06/18/openai-bioweapons-risk

OpenAI warns models with higher bioweapons risk are imminent
Preventing harm means both the company, and society at large, need to be prepared.

ようがす（1秒）

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Tune-Yards:
🎵 How Big Is The Rainbow
#TuneYards
https://tune-yards.bandcamp.com/track/how-big-is-the-rainbow
https://open.spotify.com/track/3vBSvifLEgMoLgyWJvAQla

Die ePetition 179941 an den Bundestag aus dem Bereich Abstammungsrecht mit dem Titel
Erweiterung der Rechtsgrundlage für die Feststellung rechtlicher Vaterschaft um Regelungen für biologische Väter
kann bis zum Mittwoch 30. Juli 2025 01:00 UTC mitgezeichnet werden und lautet
Mit dieser Petition wird gefordert, die R…

Die ePetition 179941 an den Bundestag aus dem Bereich Abstammungsrecht mit dem Titel
Erweiterung der Rechtsgrundlage für die Feststellung rechtlicher Vaterschaft um Regelungen für biologische Väter
kann bis zum Mittwoch 30. Juli 2025 01:00 UTC mitgezeichnet werden und lautet
Mit dieser Petition wird gefordert, die R…

Prévoir un allongement de temps de trajet de 30 minutes environ pour le train suivant : - GAMO départ de Paris Gare Š 18h07 arrivée Š Montargis 19h46.
Ce train va être détourné par Corbeil-Essonnes ( 30 minutes).
Pour plus d'informations sur cette perturbation, consultez le fil Twitter de la ligne.
Motif : malaise voyageur Š bord d'un train Š Yerres.
🤖 18/06 18:27

[2025-06-19 Thu (UTC), 1 new article found for cs.FL Formal Languages and Automata Theory]
toXiv_bot_toot

A look at the lack of consensus in the tech industry on what AGI is, whether LLMs are the best path to it, and what AGI might look like if or when it arrives (Melissa Heikkilä/Financial Times)

Why Big Tech cannot agree on artificial general intelligence
It has been tipped as the next big breakthrough out of Silicon Valley, but is it a scientific goal — or a marketing buzzword?

Période : semaine, en soirée.
Dates : du lundi 09 juin au vendredi 20 juin.
Le trafic est interrompu entre Melun et Montargis et entre Melun et Montereau.
Les horaires de certains trains peuvent être avancés. Nous vous conseillons de consulter la rubrique "recherche itinéraire" pour préparer vos trajets.
Les trains de la ligne R sont détournés par Héricy et des allongements de temps de parcours sont Š prévoir.
Un service de bus de remplacement est mis …

Atmungscharakter
https://www.derstandard.at/story/3000000273917/unsere-atmung-ist-hoechst-individuell-und-verraet-so-einiges-ueber-unser-befinden

Unsere Atmung ist höchst individuell und verrät so einiges über unser Befinden
Forschende konnten Personen allein anhand ihrer Atemmuster identifizieren und stellten Zusammenhänge mit der psychischen Verfassung her

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Clipse:
🎵 Ace Trumpets
#Clipse
https://open.spotify.com/track/6gurRCQTLcBNkakApASMdi

Prévoir un allongement de temps de trajet de 15 minutes environ pour le train suivant : -KOHO départ Melun Š 22h54, arrivée Montereau Š 23h30
Pour plus d'informations sur cette perturbation, consultez le fil Twitter de la ligne.
Motif : incident affectant la voie.
🤖 19/06 23:39

Fleet, which offers open-source device management tools for OSes, various networks, VPNs, and more, raised a $27M Series B led by Ten Eleven Ventures (Mike Wheatley/SiliconANGLE)
https://siliconangle.com/2025/06/17/27m-fundin…

With $27M in funding, Fleet wants to bring more freedom to enterprise device management - SiliconANGLE
With $27M in funding, Fleet wants to bring more freedom to enterprise device management - SiliconANGLE

Prévoir un allongement de temps de trajet de 20 minutes environ pour le train suivant : -GAMO départ Paris Gare de Lyon Š 22h08, arrivée Montargis Š 23h55
Pour plus d'informations sur cette perturbation, consultez le fil Twitter de la ligne.
Motif : incident affectant la voie dans le secteur de Combs-la-Ville. (incident terminé)
🤖 19/06 22:43

Le trafic est interrompu entre Melun et Montereau via Héricy dans les 2 sens jusqu'Š 20h.
Pour plus d'informations sur cette perturbation, consultez le fil X de la ligne R.
Motif : panne d'un passage Š niveau Š Chartrettes.
🤖 19/06 18:55

🇺🇦 #NowPlaying on KEXP's #MorningShow
Tony Allen:
🎵 N.E.P.A.
#TonyAllen
https://sfbdhq.bandcamp.com/track/tony-allen-n-e-p-a-never-expect-power-always

Le trafic est ralenti de Paris Gare de Lyon vers Montereau via Moret Veneux les S. et de Paris Gare de Lyon vers Montargis. Prévoir des allongements de temps de parcours allant jusqu'Š 30min.
Pour plus d'informations sur cette perturbation, consultez le fil X de la ligne R.
Motif : incident affectant la voie (panne d'un système d'aiguillage dans le secteur de Combs-la-Ville).
🤖 19/06 17:52

Le train suivant voit son départ différé de 15 minutes environ :
- KUMO départ Paris Gare de Lyon 15h46, arrivée Montereau 16h44
Pour plus d'informations sur cette perturbation, consultez le fil X de la ligne.
Motif : conditions de départ non réunies.
🤖 19/06 16:31

Le train suivant voit son départ différé de 10 minutes environ :
- KUMO départ Paris Gare de Lyon 15h46, arrivée Montereau 16h44
Pour plus d'informations sur cette perturbation, consultez le fil X de la ligne.
Motif : conditions de départ non réunies.
🤖 19/06 15:54

Replaced article(s) found for cs.FL. https://arxiv.org/list/cs.FL/new
[1/1]:
Regular Grammars for Sets of Graphs of Tree-Width 2
https://

Les trains suivants ont une composition réduite :
- KUMO au départ de la gare Paris Gare de Lyon Š 13h46, arrivée Š 14h44 en gare de Montereau.
- PUMA au départ de la gare Montereau Š 15h15, arrivée Š 16h13 en gare de Paris Gare de Lyon. - KUMO au départ de la gare Paris Gare de Lyon Š 16h46, arrivée Š 17h44 en gare de Montereau.
Retrouver tous les horaires de vos trains dans la rubrique itinéraires ou prochains départs.
🤖 19/06 13:44

Les trains suivants ont une composition réduite :
- KUMO au départ de la gare Paris Gare de Lyon Š 13h46, arrivée Š 14h44 en gare de Montereau.
- PUMA au départ de la gare Montereau Š 15h15, arrivée Š 16h13 en gare de Paris Gare de Lyon. Retrouver tous les horaires de vos trains dans la rubrique itinéraires ou prochains départs.
🤖 19/06 13:17

Saturation Problems for Families of Automata
Le\'on Bohn, Yong Li, Christof L\"oding, Sven Schewe
https://arxiv.org/abs/2506.13197 https://…

Saturation Problems for Families of Automata
Families of deterministic finite automata (FDFA) represent regular $ω$-languages through their ultimately periodic words (UP-words). An FDFA accepts pairs of words, where the first component corresponds to a prefix of the UP-word, and the second component represents a period of that UP-word. An FDFA is termed saturated if, for each UP-word, either all or none of the pairs representing that UP-word are accepted. We demonstrate that determining whether a given FDFA is saturated can be accomplish…

[2025-06-17 Tue (UTC), 1 new article found for cs.FL Formal Languages and Automata Theory]
toXiv_bot_toot

Allongement de temps de trajet de 15 minutes pour le train suivant : - POMA départ Montargis 09h02, arrivée Paris Gare de Lyon 10h43. Pour plus d'informations sur cette perturbation, consultez le fil X de la ligne R.
Motif : respect des distances entre les trains dans le secteur de Montargis.
🤖 17/06 09:29

Le train suivant voit son départ différé de 20 minutes environ :
- Train KUMO, départ Paris Gare de Lyon 08h46, arrivée Montereau 09h44
Pour plus d'informations sur cette perturbation, consultez le fil X de la ligne.
Motif : panne d'un train.
🤖 17/06 08:18

Train supprimé :
- Train PUMA départ Montereau 07h15 arrivée Paris-Gare-de-Lyon 08h13.
Risque d'affluence Š bord du train suivant.
Prochain train Š circuler : Pour les voyageurs au départ des gares de Montereau et St-Mammès en direction de Paris-Gare-de-Lyon TER 891210 départ Montereau 07h45, passage Melun 08h14, arrivée Paris-Gare-de-Lyon 08h43
Pour plus d'informations sur cette perturbation, consultez le fil X de la ligne.
Motif : panne d'un…

Le train suivant voit son départ différé de 20 minutes environ :
- Train PUMA, départ Montereau 07h15, arrivée Paris Gare de Lyon 08h13 Pour plus d'informations sur cette perturbation, consultez le fil X de la ligne.
Motif : panne d'un train.
🤖 17/06 07:23

La composition des trains suivants est réduite :
- Train KUMO départ Paris-Gare-de-Lyon 06h46, arrivée Montereau 07h44 - Train PUMA départ Montereau 08h22, arrivée Paris Gare de Lyon 09h21
Retrouvez tous les horaires de vos trains dans la rubrique Itinéraires ou Prochains départs.
🤖 17/06 06:06

Prévoir un allongement de temps de trajet de 10 minutes environ pour le train suivant :
-POMA départ Montargis 04h48, arrivée Paris Gare de Lyon 06h29
Pour plus d'informations sur cette perturbation, consultez le fil Twitter de la ligne.
Motif : panne d'un train (incident terminé)
🤖 18/06 04:57

Période : semaine, en soirée.
Dates : du lundi 09 juin au vendredi 20 juin.
Le trafic est interrompu entre Melun et Montargis et entre Melun et Montereau.
Les horaires de certains trains peuvent être avancés. Nous vous conseillons de consulter la rubrique "recherche itinéraire" pour préparer vos trajets.
Les trains de la ligne R sont détournés par Héricy et des allongements de temps de parcours sont Š prévoir.
Un service de bus de remplacement est mis …

Le trafic est ralenti entre Melun et Montereau via Héricy dans les 2 sens.
Pour plus d'informations sur cette perturbation, consultez le fil X de la ligne R.
Motif : incident affectant la voie Š Moret.
🤖 17/06 15:11

Le trafic est interrompu entre Melun et Montargis et entre Melun et Montereau via Moret Veneux les S. dans les 2 sens jusqu'Š 16h.
Pour plus d'informations sur cette perturbation, consultez le fil X de la ligne R.
Motif : panne de signalisation dans le secteur de Moret Veneux les Sablons.
🤖 17/06 15:02