未定式是高等数学中处理极限问题时遇到的一种特殊情况，当函数在某一点的极限形式不能直接通过代入计算得到时，就会出现未定式。未定式主要有以下几种类型：
1. 0/0型
2. ∞/∞型
3. 0×∞型
4. 1^∞型
5. 0^0型
6. ∞^0型
7. ∞-∞型
对于这些未定式，不能直接使用商的极限等于极限的商的规则来计算极限值。在这种情况下，通常会使用洛必达法则（L'Hôpital's Rule）来求解，即通过对分子和分母分别求导，然后再计算极限。
洛必达法则的使用需要满足一定的条件，例如分子和分母在极限点附近都可导，并且分子和分母的导数的极限存在。如果这些条件都满足，则可以通过求导后的函数的极限来确定原函数的极限。
需要注意的是，虽然洛必达法则是一种非常强大的工具，但它并不适用于所有未定式的情况。有些未定式可能需要使用其他方法，如等价无穷小替换、泰勒展开等来求解。