L = {a^i b^j c^k d^l | i=k 且 j=l}，我找不到给定语言的文法。

要找到给定语言的文法，我们可以使用上下文无关文法（Context-Free Grammar, CFG）来描述。

根据题目给出的语言L的定义，我们可以分析出以下规则：

1. 当i=k且j=l时，字符串中a和c的数量相等，并且b和d的数量也相等。
2. a和c的数量可以为任意非负整数，b和d的数量也可以为任意非负整数。

基于以上规则，我们可以得到以下文法：

S -> AB A -> aAc | ε B -> bBd | ε

其中，S是起始符号，A和B是非终结符号，a、b、c、d是终结符号。ε表示空串。

以下是Python代码示例，使用pyparsing库来实现该文法：

from pyparsing import *

# 定义终结符号和非终结符号
a, b, c, d = Literal("a"), Literal("b"), Literal("c"), Literal("d")
A, B = Nonterminal("A"), Nonterminal("B")

# 定义文法规则
S = A + B
A <<= a + A + c | Empty()
B <<= b + B + d | Empty()

# 定义语言解析函数
def parse_language(s):
    return S.parseString(s)

# 测试
print(parse_language("aabbccdd"))  # ['a', 'a', 'b', 'b', 'c', 'c', 'd', 'd']
print(parse_language("aabbbcccddd"))  # ['a', 'a', 'b', 'b', 'b', 'c', 'c', 'c', 'd', 'd', 'd']
print(parse_language("abcddcba"))  # raises ParseException，不符合语言L的定义

运行上述代码，可以看到对给定的字符串进行解析，并得到相应的结果。请注意，该代码示例使用了pyparsing库来进行文法解析，你可以使用其他的解析库或者手动实现解析器来达到相同的效果。