FLN is a retrenchement of a much stronger claim, which is the claim of universal grammar. Since you asked about Universal Grammar, not just FLN, I will try to answer the UG question.
The claim of universal grammar is that any sentence, no matter how complex or embedded, can be translated between any two languages with essentially the same kind of embedding structure. This would mean that aside from superficial differences in vocabulary and word order, that all languages share a deeply isomorphic stack-parsed tree grammar at their core.
To show you that this makes nontrivial predictions, here is a super-embedded English sentence:
- I cut the tree which held the girl which put the frog which swallowed the fly in its throat in her pocket down quickly.
I will translate this to Hebrew:
- Kara'teti et ha-etz she-hichzik et ha-yalda she-sama et ha-tsfardea sh-bala' et ha-zvuv ba-garon shelo ba-kis she-la be-mehirut.
This translation is word for word, with the exact same recursive structure, except the final "down" in English is omitted (since cut-down is a peculiar English structure). The embedding clause structure and the general sentence pattern is exactly the same, even though the two languages are not particularly related. The recursion works exactly the same.
Hebrew is a revived language, but you can do this with Chinese, with French, with any old-world language, basically, and you will produce a sentence with essentially the same nesting structure, with perhaps some word order or clause-order differences, but which can be recognized to be basically the same sentence, because the parse-tree structure is largely isomorphic, with the same levels of nesting.
That's the key prediction of UG.
Made up constructions that violate UG
The statement that all languages recurse in this way is to be contrasted with made-up recursive structures which never ever occur in natural languages:
Here are sentences in a made-up language, with the same vocabulary as English, but where the following sentence is grammatical:
"I walked to the store is green."
The intended semantics of this construction are
(I walked to the store) and (the store is green).
Since "the store" repeats in both sentences, one could imagine a culture where you could say:
"I walked to the store is green is my favorite color looks better than Nancy's favorite color is yellow."
Intended Meaning "I walked to the store"/"the store is green"/"green is my favorite color"/"my favorite color looks better than Nancy's favorite color"/"Nancy's favorite color is yellow."
In english, you would say it as follows:
- "I walked to the store which is green which is my favorite color which looks better than Nancy's favorite color which is yellow."
Those "which"es are necessary, and something like it is necessary in all the world's languages. The reason is that you are not allowed to make overlapping constructions
- (I walked to the store) is green
- I walked to (the store is green)
you can see that without the "which", the parentheses overlap. When parentheses overlap, the language is not parsable by a stack automaton, meaning that it isn't the type of context-free grammar that Chomsky identified as central to human language grammatical embedding.
The "which" makes the stuff that follows subordinate to the preceding stuff, so you get
(I walked to (the store which is (green which is (my favorite color which is better than (Nancy's favorite color which is yellow)))))
notice that the units don't overlap, so this is ok. That's a major nontrivial prediction of UG: all language embedding must be non-overlapping.
Exceptions
when languages have complex case systems, they sometimes have a freer word order, which allows units which are grouped together to slide apart because no ambiguity is possible, because of the case markings. Such things might lead structures to partially overlap, which contradicts UG. This is not so terrible, because you can usually figure out how to translate any such thing back and forth with the same "deep structure", essentially the same parse tree description.
The more serious challenge is from Piraha and Warlpiri, which do not allow complex embedding at all. You couldn't even translate the Boy-frog-tree sentence to Piraha, you would need many separate sentences. These are counterexamples to the claims of UG.
Why stacks?
So UG is a predictive, powerful, statement. It just happens to be wrong, despite the fact that you have to go to the far corners of the Earth for a true counterexample. That's weird. Why should it be true of almost all languages, with a few isolated exceptions?
One hypothesis you could make is that bilingual speakers and the need for translation were able to homogenize the grammar between neighboring languages over time, leading the world's grammars to standardize on essentially the same tree recursive form.
But from my experience with mathematical formalisms, and with artificial languages, I have noticed that human beings are just "hard wired" to parse stack languages naturally. This is most notable in computer languages, where PASCAL (which is rigidly structured and very heirarchical) is considered super-elegant, LISP (which is essentially all nested parentheses) is considered the king of elegance, while "C" (which has side effects) is considered ugly.
Despite its ugliness C wins.
The same is true in mathematics, where index notation for tensors is considered "ugly", and function notation is preferred, with nested parentheses. This despite the obvious fact that index notation is a language that perfectly fits the domain, and parentheses notation does not. The same problems occur in Fregian semantics, in biochemical modeling langauges, in Aristotelian philosophy (where categories are not allowed to overlap), in object oriented languages (no multiple inheritence), and basically everywhere the humans try to design rules for natural things: they almost always make nonoverlapping structures, even when these are wrong for the intended domain.
I speculate that the human brain is just hard-wired for tree grammars because of some biochemistry. If memory is encoded in specific RNA chains in the brain, as I am sure it is, it is possible that sliding certain RNA chains in one direction makes a "push" operation on a stack, while sliding them in the other direction makes a pop. Then the one-dimensional linear stack structure of language would reflect the biochemistry of the memory storing RNA in the brain, as the ears respond to the input. The existence of a stack in the brain, an actual biochemical stack, would explain this peculiarity. But this is just speculation at this point.