AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • 主页
  • 系统&网络
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • 主页
  • 系统&网络
    • 最新
    • 热门
    • 标签
  • Ubuntu
    • 最新
    • 热门
    • 标签
  • Unix
    • 最新
    • 标签
  • DBA
    • 最新
    • 标签
  • Computer
    • 最新
    • 标签
  • Coding
    • 最新
    • 标签
主页 / coding / 问题 / 77676018
Accepted
Robin
Robin
Asked: 2023-12-18 05:07:51 +0800 CST2023-12-18 05:07:51 +0800 CST 2023-12-18 05:07:51 +0800 CST

查找长 LaTeX 文档中的所有定理

  • 772

我有一个 LaTeX 文档,看起来像这样:

Now, we go onto the following theorem:

\theorem{$\sqrt{2}$ is irrational.}{Blah blah blah...}

\remark{This proof is often attributed to Hippasus of Metapontum.}

We can prove a more general result:

\theorem{For $n$ a non-square integer, $\sqrt{n}$ is irrational.}{Blah blah blah...}

我想匹配所有看起来像的东西\theoremnoname{Something 1}{Something 2},特别是获取零件Something 1和Something 2作为匹配的不同部分。

困难在于零件中的{s 和}s 数量未知,并试图使它们匹配。

我已经尝试过正则表达式\theorem\{([^{}]+)\}(\{([^{}]*(\{[^{}]*\}[^{}]*)*)\})(即使部分变得贪婪),但它没有返回任何匹配项。

regex
  • 1 1 个回答
  • 13 Views

1 个回答

  • Voted
  1. Best Answer
    gabalz
    2023-12-18T07:32:59+08:002023-12-18T07:32:59+08:00

    如果您可以假设该模式}{没有出现在第一组内,则正则表达式\\theorem\{(.*)\}\{(.*)\}应该可以工作。

    我认为您的正则表达式前缀\theorem\{([^{}]+)\}...是错误的,这确实不会匹配任何内容,因为\t尝试匹配选项卡(因此请使用\\)。但即使在那之后,您的正则表达式也只会到达第一个开头{,因为[^{}]仅匹配与{和不同的字符},并且无法将找到的开头{与结尾匹配}。

    我可以简单地使用 grep 并将这些部分放入两个文件中,如下所示:

    cat your-doc.tex | grep -oE '\\theorem\{.*\}\{' | cut -c10- | rev | cut -c3- | rev > first.txt
    cat your-doc.tex | grep -oE '\\theorem\{.*\}' | grep -oE '\}\{.*' | cut -c3- | rev | cut -c2- | rev > second.txt
    

    这将为您提供示例文本的以下内容:

    > cat first.txt
    $\sqrt{2}$ is irrational.
    For $n$ a non-square integer, $\sqrt{n}$ is irrational.
    
    > cat second.txt
    Blah blah blah...
    Blah blah blah...
    
    • 1

相关问题

  • 正则表达式:匹配直到“,”,但如果“,”在括号内则不匹配

  • 从字符串中找到第 n 个数字并使用 dart 分割 ['8','th']

  • 正则表达式后 3 个字符后换行

  • Google Sheets 正则表达式中的正向前瞻

  • 如何在 macOS 终端中使用 Perl 的重命名功能将随机文件名替换为自定义字符串和索引?

Sidebar

Stats

  • 问题 205573
  • 回答 270741
  • 最佳答案 135370
  • 用户 68524
  • 热门
  • 回答
  • Marko Smith

    使用 <font color="#xxx"> 突出显示 html 中的代码

    • 2 个回答
  • Marko Smith

    为什么在传递 {} 时重载解析更喜欢 std::nullptr_t 而不是类?

    • 1 个回答
  • Marko Smith

    您可以使用花括号初始化列表作为(默认)模板参数吗?

    • 2 个回答
  • Marko Smith

    为什么列表推导式在内部创建一个函数?

    • 1 个回答
  • Marko Smith

    我正在尝试仅使用海龟随机和数学模块来制作吃豆人游戏

    • 1 个回答
  • Marko Smith

    java.lang.NoSuchMethodError: 'void org.openqa.selenium.remote.http.ClientConfig.<init>(java.net.URI, java.time.Duration, java.time.Duratio

    • 3 个回答
  • Marko Smith

    为什么 'char -> int' 是提升,而 'char -> Short' 是转换(但不是提升)?

    • 4 个回答
  • Marko Smith

    为什么库中不调用全局变量的构造函数?

    • 1 个回答
  • Marko Smith

    std::common_reference_with 在元组上的行为不一致。哪个是对的?

    • 1 个回答
  • Marko Smith

    C++17 中 std::byte 只能按位运算?

    • 1 个回答
  • Martin Hope
    fbrereto 为什么在传递 {} 时重载解析更喜欢 std::nullptr_t 而不是类? 2023-12-21 00:31:04 +0800 CST
  • Martin Hope
    比尔盖子 您可以使用花括号初始化列表作为(默认)模板参数吗? 2023-12-17 10:02:06 +0800 CST
  • Martin Hope
    Amir reza Riahi 为什么列表推导式在内部创建一个函数? 2023-11-16 20:53:19 +0800 CST
  • Martin Hope
    Michael A fmt 格式 %H:%M:%S 不带小数 2023-11-11 01:13:05 +0800 CST
  • Martin Hope
    God I Hate Python C++20 的 std::views::filter 未正确过滤视图 2023-08-27 18:40:35 +0800 CST
  • Martin Hope
    LiDa Cute 为什么 'char -> int' 是提升,而 'char -> Short' 是转换(但不是提升)? 2023-08-24 20:46:59 +0800 CST
  • Martin Hope
    jabaa 为什么库中不调用全局变量的构造函数? 2023-08-18 07:15:20 +0800 CST
  • Martin Hope
    Panagiotis Syskakis std::common_reference_with 在元组上的行为不一致。哪个是对的? 2023-08-17 21:24:06 +0800 CST
  • Martin Hope
    Alex Guteniev 为什么编译器在这里错过矢量化? 2023-08-17 18:58:07 +0800 CST
  • Martin Hope
    wimalopaan C++17 中 std::byte 只能按位运算? 2023-08-17 17:13:58 +0800 CST

热门标签

python javascript c++ c# java typescript sql reactjs html

Explore

  • 主页
  • 问题
    • 最新
    • 热门
  • 标签
  • 帮助

Footer

AskOverflow.Dev

关于我们

  • 关于我们
  • 联系我们

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve